"Verification of Concurrent Objects with Asynchronous Method Calls."

Johan Dovland, Einar Broch Johnsen, Olaf Owe (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics