R. Najvirt: "Description Methods for Asynchronous Circuits - A Comparison"; Supervisor: A. Steininger; 191-02, 2011.