4th Refinemnt Workshop, Cambridge, 1991 : proceedings of the 4th Refinement Workshop /
Refinement Workshop(4th :1991 :Cambridge, England)
Morris, Joseph M.,1951-
Shaw, Roger C.,1945-
British Computer Society.Specialist Group in Formal Aspects of Computing Science.
London : Springer-Verlag,
1991.
"Published in collaboration with the British Computer Society."
Includes index.
Computer software
Computers