Jabarkan Lihat pula dari Penerjemah (komputasi)

Theoretical Foundations For Practical 'Totally Functional Programming' (Chapter 7 especially) Doctoral dissertation tackling the problem of formalising what is an interpreter