V. M. Ilman, “PROPERTIES OF FORMAL STRUCTURES AND SUBSTRUCTURES”, STP, no. 14, pp. 99–104, Feb. 2007.