Specifying objects of concurrent systems - Lerner, Richard A. (School of Computer Science, 1991)
Zugl.: Pittsburgh, Pa., Univ., Diss., 1991