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