5th Refinement Workshop
de Refinement Workshop (5th 1992 London, England), Cliff B. Jones, Roger C. Shaw
de Refinement Workshop (5th 1992 London, England), Cliff B. Jones, Roger C. Shaw
Springer London, Limited · inglés · ISBN 9781447135500
Springer · ISBN 9781447135517
Springer, in collaboration with the British Computer Society · inglés
Springer · inglés · ISBN 9780387197524
Springer-Verlag · inglés