The equivalence of models of tasking (1972)

by D M Berry
Venue:Proc. of ACM Conf. on Proving Assertions about Programs, SIGPLAN Not