APA (7th ed.) Citation

Guttmann, W. (2011). Fixpoints for general correctness. The journal of logic and algebraic programming, 80(6), 248-265. https://doi.org/10.1016/j.jlap.2011.04.004

Chicago Style (17th ed.) Citation

Guttmann, Walter. "Fixpoints for General Correctness." The Journal of Logic and Algebraic Programming 80, no. 6 (2011): 248-265. https://doi.org/10.1016/j.jlap.2011.04.004.

MLA (9th ed.) Citation

Guttmann, Walter. "Fixpoints for General Correctness." The Journal of Logic and Algebraic Programming, vol. 80, no. 6, 2011, pp. 248-265, https://doi.org/10.1016/j.jlap.2011.04.004.