Tilbage til artikeldetaljer Program Transformations in a Denotational Setting Download Download PDF