Top-dawn calculus : a consise course - Williamson, Gill S. (Computer Science press, 1987)