The Theory Of 2-Structures by Grzegorz Rozenberg, A. Ehrenfeucht & T. Harju