Local testing and implementable concurrent processes (1994)

by I Ulidowski