Completeness of a relational calculus for program schemes | IEEE Conference Publication | IEEE Xplore