Syntactic Finitism In The Metatheory Of Programming Languages. door Jeffrey Sarnat