The theory of 2-structures by Andrzej Ehrenfeucht, Grzegorz Rozenberg, T. Harju | Lex | Lex