The Optimal Implementation Of Functional Programming Languages door Andrea Asperti & Stefano Guerrini