Tucker, J., & Bergstra, J. A. (2022). Partial arithmetical data types of rational numbers and their equational specification. Journal of Logical and Algebraic Methods in Programming, 128, p. 100797. doi:10.1016/j.jlamp.2022.100797
Chicago Style CitationTucker, John, and Jan A. Bergstra. "Partial Arithmetical Data Types of Rational Numbers and Their Equational Specification." Journal of Logical and Algebraic Methods in Programming 128 (2022): 100797.
MLA CitationTucker, John, and Jan A. Bergstra. "Partial Arithmetical Data Types of Rational Numbers and Their Equational Specification." Journal of Logical and Algebraic Methods in Programming 128 (2022): 100797.
Warning: These citations may not always be 100% accurate.