References
Tom Maibaum
Extension morphisms for community
2006
with Aguirre Nazareno, Alencar Paulo
in: Algebra, meaning, and computation, Dordrecht : Springer
2006
with Aguirre Nazareno, Alencar Paulo
in: Algebra, meaning, and computation, Dordrecht : Springer