Machine-assisted theorem-proving for software engineering. - Andrew Philip Martin (1994)