Johann Makowsky. Specker’s work on counting labeled finite graphs