Binau Ulla, "CORRECT CONCURRENT PROGRAMS: A UNITY DESIGN METHOD FOR COMPOSITIONAL C++ PROGRAMS" Ph.D. University of Denmark February 1994

(1994)

Languages mentioned