Title: LCF-LSM: a system for specifying and verifying hardware
First published: 1983