A sequential real-time refinement calculus (0)

by I J Hayes, M Utting
Venue:Acta Informatica