Muse - A Computer Assisted Verification System. - J. Daniel Halpern; Sam Owre; Norman Proctor; William F. Wilson (IEEE Trans. Software Eng., 1987)