Title: Guidelines for formal verification systems
First published: 1989