M.H.B.: On perfect supercompilation (1999)

by J P Secher, Sørensen
Venue:LNCS