Browse by Person (creator, editor, contributor, etc.)
Number of items: 2.
Cavalcanti, A.L.C. and Sampaio, A. and Woodcock, JCP
Procedures and Recursion in the Refinement Calculus.
Journal of the Brazilian Computer Society, 5
(The full text of this publication is not available from this repository)