Variable binding operators in transition system specifications (2001)

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