Ilman, V. M. PROPERTIES OF FORMAL STRUCTURES AND SUBSTRUCTURES. STP 2007, 99-104.