A Roadmap to Metacomputation by Supercompilation (1996)

by Robert Glück, Morten Heine Sørensen