Data refinement by calculation (1990)

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