Data Refinement by Calculation (1990)

by Carroll Morgan, P H B Gardiner
Venue:Acta Informatica