"A constructive approach towards correctness of synthesis-application ..."

Dirk Eisenbiegler, Ramayya Kumar, Christian Blumenröhr (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics