Stef M. M. Joosten, Sebastiaan J. C. Joosten: Type Checking by Domain Analysis in Ampersand. RAMiCS 2015: 225-240