Sharp retrenchment, modulated refinement and simulation (1999)

by R Banach, M Poppleton
Venue:Formal Aspects of Computing