Tentative steps toward a development method for interfering programs (1983)

by C B Jones
Venue:ACM Trans. Program. Lang. Syst