"Asynchronous Interface Specification, Analysis and Synthesis."

Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics