author = { Jonsson, Peter A. AND Nordlander, Johan },

title = { Positive supercompilation for a higher order call-by-value language },

publisher = {Association for Computing Machinery (ACM)},

isbn = {1558-1160},

isbn = {0362-1340},

keywords = { Computer Graphics and Computer-Aided Design , Software },

year = {2009},

url = { http://slubdd.de/katalog?TN_libero_mab2 }