"High-Level Programs and Program Conditions."

Karl Azab, Annegret Habel (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics