1. David Espinosa. Modular Denotational Semantics. Unpublished manuscript December 1993. David Espinosa. Modular Denotational Semantics. Unpublished manuscript December 1993.
2. J.A.N. Lee B. Blum P. Kanellakis H. Crisp and J.A. Caruso. ProtoTech HiPer-D Joint Prototyping Demonstration Project February 1994. Unpublished; 400 pages. J.A.N. Lee B. Blum P. Kanellakis H. Crisp and J.A. Caruso. ProtoTech HiPer-D Joint Prototyping Demonstration Project February 1994. Unpublished; 400 pages.
3. Monad transformers and modular interpreters