LaTeX macros for A Practical Theory of Programming
Version: August 2016.
Manual:
PDF
,
LaTeX source
The macros
.
Albert Yu Cheong LAI, trebla@cs.utoronto.ca