Programs as Data objects : PROCEEDINGS OF A WORKSHOP COPENHAGEN, DENMARK, OCTOBER 17-19, 1985. - Ganzinger, Harald (Springer Verlag, 1986)