The Universe Model: An approach for improving the modularity and reliability of concurrent programs (2000)

by R Behrends, R E K Stirewalt
Venue:In Proc. of ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE’2000