"From behaviour preservation to behaviour modification: constraint-based ..."

Friedrich Steimann, Andreas Thies (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics