Title: 4th Refinement Workshop, Cambridge, 1991
Subjects: Computer software, Computers, Congresses, Development