"The TYPELAB Specification and Verification Environment."

Friedrich W. von Henke et al. (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics