ROLAND BACKHOUSE PROGRAM CONSTRUCTION : CALCULATING IMPLEMENTATIONS FROM SPECIFICATIONS - DREAM TECH PRESS 2004 - 340 ISBN: 8126504889 Subjects--Topical Terms: PROGRAMMING PROGRAMING Dewey Class. No.: 005.13 / ROL