LaTeX macros for A Practical Theory of Programming

Version: September 18, 2006
Manual: PDF, Postscript, DVI, LaTeX
The macros