Intermittent Assertion Proofs in Lucid

Edward A. Ashcroft, William W. Wadge. Intermittent Assertion Proofs in Lucid. In IFIP Congress. pages 723-726, 1977.

Bibliographies