"Formal Specifications of Computer-Based Systems."

Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics