stark: Towards a proof theory for stuttering, dense domains and refinmement mappings (1990)

by lamport Abadi
Venue:Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness, Lecture Notes in Computer Science 430