Data refinement by calculation (1990)

by C Morgan, P Gardiner
Venue:Acta Inf