Concurrency: Theory, Language, and Architecture : UK/Japan ...
Akinori Yonezawa
[9] Joseph Goguen. Principles of parameterized programming. In Ted Biggerstaff and Alan Perlis, editors, Software Reusability, Volume I: Concepts and Models, pages 159-225. Addison- Wesley, 1989. [10] Joseph Goguen. Proving and ...