Vaandrager, Frits W Algebraic techniques for concurrency and their application by Frits W Vaandrager - Amsterdam Centrum voor wiskunde en informatica 1990 - 244p Dewey Class. No.: 005.13 / N908