EDA environments in 1995: specification, not implementation. - Jeff Lewis (Compcon, 1991)

Panel: Cell Libraries - Build vs. Buy; Static vs. Dynamic. - Kurt Keutzer; Kurt Wolf; David Pietromonaco; Jay Maxey; Jeff Lewis; Martin Lefebvre 001; Jeff Burns (DAC, 1999)

Cryptol: specification, implementation and verification of high-grade cryptographic applications. - Jeff Lewis (FMSE, 2007)