Atomic polymorphism - Ferreira, Fernando (2013)