Guidelines for formal verification systems - Mayer, Barbara, 1939-; Lu, Monica McGill (NCSC-TG, 1989)