4 works on record
Subrecursive programming systems
1994
A connotational theory of program structure
1987
Systems that learn
Textbearbeitung mit Word 2000. Neue DIN 5008.