1938 – 2013
4 works on record
The specification of computer programs
1987
Informatics, a propaedeutic view
1985
Computer programming methodology
Struktury danych
