Three-valued specification language and its application to the automatic verification of C programs. - Alexej Prokhorov (1998)