1. Aho, A.V., Hopcroft, J.E., Ullman, J.D.: The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading (1975)
2. Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Heidelberg (1985)
3. Cattaneo, G., Ciucci, D.: Shadowed sets and related algebraic structures. Fundamenta Iinformaticae 55, 255–284 (2003)
4. Eilenberg, S., Moore, J.C.: Adjoint functors and triples. Illinois J. Math. 9, 381–398 (1965)
5. Eklund, P., Gähler, W.: Partially ordered monads and powerset Kleene algebras. In: Proc. 10th Information Processing and Management of Uncertainty in Knowledge Based Systems Conference (IPMU 2004) (2004)