Proving the Correctness of Storage Representations. - Mitchell Wand; Dino Oliva (LISP and Functional Programming, 1992)

Software design for reliability and reuse: a proof-of-concept demonstration. - Jeffrey M. Bell; Françoise Bellegarde; James Hook; Richard B. Kieburtz; Alex Kotov; Jeffrey Lewis; Laura McKinney; Dino Oliva; Tim Sheard; L. Tong; Lisa Walton; Tong Zhou (TRI-Ada, 1994)

Calculating Software Generators from Solution Specifications. - Richard B. Kieburtz; Françoise Bellegarde; Jeffrey M. Bell; James Hook; Jeffrey Lewis; Dino Oliva; Tim Sheard; Lisa Walton; Tong Zhou (TAPSOFT, 1995)

The VLISP Verified PreScheme Compiler. - Dino Oliva; John D. Ramsdell; Mitchell Wand (LISP Symb. Comput., 1995)

A Software Engineering Experiment in Software Component Generation. - Richard B. Kieburtz; Laura McKinney; Jeffrey M. Bell; James Hook; Alex Kotov; Jeffrey Lewis; Dino Oliva; Tim Sheard; Ira Smith; Lisa Walton (ICSE, 1996)

C-: A Portable Assembly Language. - Simon L. Peyton Jones; Thomas Nordin; Dino Oliva (Implementation of Functional Languages, 1997)

From ML to Ada: Strongly-Typed Language Interoperability via Source Translation. - Andrew P. Tolmach; Dino Oliva (J. Funct. Program., 1998)

AES and the cryptonite crypto processor. - Dino Oliva; Rainer Buchty; Nevin Heintze (CASES, 2003)

Cryptonite - A Programmable Crypto Processor Architecture for High-Bandwidth Applications. - Rainer Buchty; Nevin Heintze; Dino Oliva (ARCS, 2004)

Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel - Riccardo Pucella; Erik Meijer 001; Dino Oliva (CoRR, 2004)