Theoretical foundations of programming methodology, manfred broy and gunther schmidt (eds.), D. Reidel Publishing Co, 1982. No. of pages: 658. Price $78.50 (hardback), $39.50 (paperback)