Programming from specifications - Morgan, Carroll (Prentice-Hall international series in computer science, 1990)