of data refinement (1989)

by Morris J Laws
Venue:Acta Informatica