ADT-based Type System for SQL. - Krishna G. Kulkarni; Jonathan Bauer; Umeshwar Dayal; Mike Kelley; Jim Melton (Query Processing for Advanced Database Systems, 1991)

Inheritance for ADTs (revised) - Krishna G. Kulkarni; Jim Melton; Jonathan Bauer; Mike Kelley (ANSI X2H2, 1991)

SysML executable systems of system architecture definition: A working example. - Judith Dahmann; Aleksandra Markina-Khusid; Allison Doren; Thomas Wheeler; Matthew Cotter; Mike Kelley (SysCon, 2017)