Books · Search
Computer programs · Computerized typesetting
LATEX line by line
1993
Z (Computer program language) · Formal methods (Computer science)
Z
1990
Compiling (Electronic computers) · Functional programming languages
Compiling functional languages
1988
Criticism and interpretation
Stuart Holroyd
2010