Homogeneous event indexes. - F. Feind; Elöd Knuth; Péter Radó; J. Varsányi (Acta Cybern., 1976)

Specification Meta Systems. - János Demetrovics; Elöd Knuth; Péter Radó (Computer, 1982)

A Taxonomy of Conceptual Foundations. - Elöd Knuth; László Hannák; Péter Radó (DS-2, 1986)

Computer-Aided Specification Techniques - János Demetrovics; Elöd Knuth; Péter Radó (World Scientific, 1986)