Project Factorisations in Partial Evaluation (Distinguished Dissertations in Computer Science, Series Number 1)
