Fields, Meadows and Abstract Data TypesJan A. Bergstra, Yoram Hirshfeld, J. V. TuckerPillars of Computer Science2008Highly Influential11 Excerpts

The rational numbers as an abstract data typeJan A. Bergstra, J. V. TuckerJ. ACM2007Highly Influential10 Excerpts

Universal Algebra for Computer ScientistsWolfgang WechlerEATCS Monographs on Theoretical Computer Science19921 Excerpt

Lattice Theory, American Mathematical Society Colloquium Publications, Volume 25G. Birkhoff19911 Excerpt

Initial Algebra Semantics and Continuous AlgebrasJoseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. WrightJ. ACM19771 Excerpt