Tucker, J., Bergstra, J., Hirshfeld, Y., & Tucker, J. (2009). Meadows and the equational specification of division. Theoretical Computer Science, 410(12-13), pp. 1261-1271. doi:10.1016/j.tcs.2008.12.015

Tucker, John, J.A Bergstra, Y. Hirshfeld, and J.V Tucker. "Meadows and the Equational Specification of Division." Theoretical Computer Science 410, no. 12-13 (2009): 1261-1271.

Tucker, John, J.A Bergstra, Y. Hirshfeld, and J.V Tucker. "Meadows and the Equational Specification of Division." Theoretical Computer Science 410.12-13 (2009): 1261-1271.