CITATION STYLE
Cavalcanti, A., Sampaio, A., & Woodcock, J. (1998). Procedures and Recursion in the Refinement Calculus. Journal of the Brazilian Computer Society, 5(1), 00–00. https://doi.org/10.1590/s0104-65001998000200002
Mendeley helps you to discover research relevant for your work.