Leivant, Daniel; Fernando, Tim Meager and replete failures of relative completeness. (English) Zbl 0709.68588 J. Assoc. Comput. Mach. 35, No. 4, 953-964 (1988). MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 03B70 Logic in computer science 68N15 Theory of programming languages PDF BibTeX XML Cite \textit{D. Leivant} and \textit{T. Fernando}, J. Assoc. Comput. Mach. 35, No. 4, 953--964 (1988; Zbl 0709.68588) Full Text: DOI