Trace specifications of nondeterministic multi-object modules (1995)

by M Iglewski, M Kubica, J Madey
Venue:Institute of Informatics, Warsaw University