Maiara F. Bollauf, Hsuan-Yin Lin and Øyvind Ytrehus, “Secrecy Gain of Formally Unimodular Lattices from Codes over the Integers Modulo 4,”  in IEEE Transactions on Information Theory, doi: 10.1109/TIT.2024.3377927