Implementation of Interlisp on the VAX. - Raymond L. Bates; David Dyer; Johannes A. G. M. Koomen (Symposium on LISP and Functional Programming, 1982)

Specification-Based Computing Environments. - Robert Balzer; David Dyer; M. Fehling; S. Saunders (VLDB, 1982)

Specification-Based Computing Environments. - Robert Balzer; David Dyer; Matthew Morgenstern; Robert Neches (AAAI, 1983)

Recent Developments in ISI-Interlisp. - Raymond L. Bates; David Dyer; Mark Feber (LISP and Functional Programming, 1984)

Wireless magnetoelastic biosensors for the detection of Salmonella on fresh produce. - Yating Chai; Shin Horikawa; Aleksandr Simonian; David Dyer; Bryan A. Chin (ICST, 2013)