ISBN 3540198865 books & textbook
6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994 (Workshops in Computing)
Springer /1994-07-19 Paperback / 319 Pages
isbn-10: 3540198865 / isbn-13: 9783540198864
