Higher-Order (Non-)Modularity . - Claus Appel; Vincent van Oostrom; Jakob Grue Simonsen (RTA, 2010)