A logical framework for cooperative software development.

Don Cohen Khaled Narayanaswamy A logical framework for cooperative software development. 69-72 1990 conf/ispw/1990 ISPW db/conf/ispw/ispw1990.html#CohenN90