Formal tools for distributed cooperative engineering (1998)

by Joseph Goguen, Akira Mori, Kai Lin, Akiyoshi Sato