ISBN 9783540197522 books & textbook
5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992 (Workshops in Computing)
Jones, Cliff B. Shaw, Roger C. Denvir, Tim
Springer /1992-10-27 Paperback / 389 Pages
isbn-10: 3540197524 / isbn-13: 9783540197522
