Junctive Compositions of specifications in total, general correctness

Steve Dunne. Junctive Compositions of specifications in total, general correctness. Electronic Notes in Theoretical Computer Science, 70(3):4-20, 2002. [doi]

Abstract

Abstract is missing.