Anthony Finkelsteiin
Imperial College of Science, Technology & Medicine, University of London, 180 Queens Gate, London SW7
Multiparty specification
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design