Jäger, G. Deconstructing Jacobson’s Z. Proceedings of the AC 1999, 133-138.