The following publications are possibly variants of this publication:
- Automating Refinement of ::::Circus:::: ProgramsFrank Zeyda, Ana Cavalcanti. sbmf 2011: 274-290 [doi]
- A Refinement Strategy for CircusAna Cavalcanti, Augusto Sampaio, Jim Woodcock. fac, 15(2-3):146-181, 2003. [doi]
- Refinement of actions in CircusAna Cavalcanti, Augusto Sampaio, Jim Woodcock. ENTCS, 70(3):132-162, 2002. [doi]
- Testing for refinement in ::::Circus::::Ana Cavalcanti, Marie-Claude Gaudel. ACTA, 48(2):97-147, 2011. [doi]
- ArcAngelC: a Refinement Tactic Language for CircusM. V. M. Oliveira, A. L. C. Cavalcanti. ENTCS, 214:203-229, 2008. [doi]
- SCJ-Circus: Specification and refinement of Safety-Critical Java programsAlvaro Miyazawa, Ana Cavalcanti, Andy J. Wellings. SCP, 181:140-176, 2019. [doi]
- The Refinement CalculusJim Woodcock. FM 1991: 80-95