Science of Computer Programming

155	--	173	Tzilla Elrad, Nissim Francez. Decomposition of Distributed Programs into Communication-Closed Layers
175	--	206	Leslie Lamport. An Assertional Correctness Proof of a Distributed Algorithm
207	--	214	David Gries. A Note on a Standard Strategy for Developing Loop Invariants and Loops
215	--	240	Grigori Mints, Enn Tyugu. Justifications of the Structural Synthesis of Programs
241	--	266	E. Allen Emerson, Edmund M. Clarke. Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons

External Links