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. FSE’00: ACM SIGSOFT 8th Intl. Symp. Foundations of Softw. Eng