1. Birkhoff, G.: Lattice Theory, 3rd edn., vol. XXV. American Mathematical Society, Colloquium Publications (1967)
2. Blyth, T., Janowitz, M.: Residuation Theory. Pergamon Press, Oxford (1972)
3. Conway, J.H.: Regular Algebra and Finite Machines. Chapman & Hall, Boca Raton (1971)
4. Dang, H.-H.: Algebraic aspects of separation logic. Technical Report 2009-01, Institut für Informatik (2009)
5. Dang, H.-H., Höfner, P., Möller, B.: Towards algebraic separation logic. Technical Report 2009-12, Institut für Informatik, Universität Augsburg (2009)