Interface-Based Protocol Specifications of Open Systems Using PSL (1995)

by D Lea, J Marlowe
Venue:In Proceedings of the 9th European Conference on Object-Oriented Programming (ECOOP’95