Laws of data refinement (1989)

by J Morris
Venue:Acta Informatica