Knuth Előd, Radó Péter: Principles of computer aided system description (SZTAKI Tanulmányok 117/1981)
MAGYAR TUDOMÁNYOS AKADÉMIAI SZÁMÍTÁSTECHNIKAI ÉS AUTOMATIZÁLÁSI KUTATÓ INTÉZETE PRINCIPLES OF COMPUTER AIDED SYSTEM DESCRIPTION Irta: Knuth Előd, Radó Péter Tanulmányok 117/1981.