When Do Datatypes Commute?
1997 ◽
pp. 242-260
◽