1. Burmeister, P.: A Model Theoretic Oriented Approach to Partial Algebras, vol. 32. Akademie-Verlag, Berlin (1986). http://www2.mathematik.tu-darmstadt.de/Math-Net/Lehrveranstaltungen/Lehrmaterial/SS2002/AllgemeineAlgebra/download/pa86.pdf
2. Burmeister, P.: Lecture notes on universal algebra, many-sorted partial algebras (2002). http://www2.mathematik.tu-darmstadt.de/Math-Net/Lehrveranstaltungen/Lehrmaterial/SS2002/AllgemeineAlgebra/download/LNPartAlg.pdf
3. Calcagno, C., O’Hearn, P.W., Yang, H.: Local action and abstract separation logic. In: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science, LICS 2007, pp. 366–378, Washington, DC (2007)
4. Lecture Notes in Computer Science;R Dockins,2009
5. Dvurecenskij, A., Vetterlein, T.: Pseudoeffect algebras. I. Basic properties. Int. J. Theor. Phys. 40(3), 685–701 (2001)