1 book
Proceedings of the Sixth International Workshop on Software Specification and Design, October 25-26, 1991, Como, Italy