-
1
Abstraction specification program development
Published 1987“…The MIT Electrical Engineering and Computer Science Series…”
Book -
2
Structure interpretation of computer programs
Published 1985“…The MIT electrical engineering and computer science series…”
Book