Bahar Aameri, Michael Winter: A First-Order Calculus for Allegories. RAMiCS 2011: 74-91