Structured program design with pascal - Jones, Gwyn & Headon, Mike (Paradigm publishing, London, 1988)