5th Refinement Workshop proceedings of the 5th Refinement Workshop, London, 8 - 10 January 1992 (Springer, 1992)
Literaturangaben