2004c), 'The pattern calculus (0)

by C B Jay
Venue:ACM Transactions on Programming Languages and Systems (TOPLAS