Formal methods and social context in software development (1995)

by J Goguen, Luqi
Venue:In TAP-SOFT'95: 6th International Conference on Theory and Practice of Software Development, number 915 in Lecture Notes in Computer Science