Formal methods for the design of imitative polyphonic structures. - Jurjen Lippold van Geenen (2013)