"Simple Semantic Analysis Problems for Functional Programs."

Viktor K. Sabelfeld, Andrei Sabelfeld (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics