"Verification of Fairness in an Implementation of Monitors."

Richard Alan Karp, David C. Luckham (1976)
a service of Schloss Dagstuhl - Leibniz Center for Informatics