Variable binding operators in transition system specifications (2001)

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