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