A facile tutorial (1996)

by B Thomsen, L Leth, T-M Kuo
Venue:In 7th International Conference on Concurrency Theory