G. Jäger, “Deconstructing Jacobson’s Z”, Proceedings of the AC, pp. 133–138, Dec. 1999, doi: 10.53437/fpxw9h78.