Nominal algebra (2006)

by Murdoch J. Gabbay , Aad Mathijssen
Citations:7 - 2 self