Refinement in Circus - SAMPAIO, Augusto; WOODCOCK, Jim; CAVALCANTI, Ana (FME 2002 : formal methods - getting IT right (Copenhagen, 22-24 July 2002), 2002)
text