"Color-Blind Specifications for Transformations of Reactive Synchronous ..."

Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics