Algorithmic properties of structures - Engeler, Erwin (World Scientific, 1993)