Elöd Knuth László Hannák Péter Rádo A Taxonomy of Conceptual Foundations. 205-219 1986 DS-2 db/conf/ds/ds86.html#KnuthHR86