M. Schwager, “Exhaustive imperatives”, Proceedings of the AC, pp. 233–238, Dec. 2005, doi: 10.53437/7ennp746.