Originally published: 1991.
Nets, terms and formulas : three views of concurrent processes and their relationship by E.-R Olderog. ISBN 9780521018456. Published by Cambridge University Press in 2005. Publication and catalogue information, links to buy online and reader comments.