Refinement in Circus.

Augusto Sampaio, Jim Woodcock, Ana Cavalcanti

Browse the full FM paper archive.