Title: A simulator for a logic simulation system
First published: 1972