Fields, Meadows and Abstract Data Types.

Jan A. Bergstra Yoram Hirshfeld John Tucker Fields, Meadows and Abstract Data Types. 166-178 2008 conf/birthday/2008trakhtenbrot Pillars of Computer Science http://dx.doi.org/10.1007/978-3-540-78127-1_10 db/conf/birthday/trakhtenbrot2008.html#BergstraHT08