DMCA

Variable binding operators in transition system specifications (2001)

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