Variable binding operators in transition system specifications (2001)

by C. A. Middelburg
Citations:19 - 8 self