A MOS/LSI oriented logic simulator. - Dan Holt; Dave Hutchings (DAC, 1981)

BOLT-a block oriented design specification language. - Dan Holt; Steve Sapiro (DAC, 1981)