Verification on Infinite Structures (2001)

by O Burkart, F Moller D Caucal, B Steffen
Venue:Handbook of Process Algebra, chapter 9