The equivalence of models of tasking
Daniel M. Berry · 1972
A technique for proving the equivalence of implementations of multi-tasking programming languages is developed and applied to proving the equivalence of the contour model and a multi-tasking version of the copy rule.