"Integrated Concurrency Analysis in a Software Development Enviornment."

Michal Young et al. (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics