José N. Oliveira. Software Reification using the SETS Calculus. In Cliff B. Jones, Roger C. Shaw, B. Tim Denvir, editors, 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992. Workshops in Computing, pages 140-171, Springer London, 1992. [doi]
Abstract is missing.