Guidelines for Formal Verification SystemsBarbara Mayer, Monica M. Lu · First published 1989Open the Tome