Representing musical time: A temporal-logic approach - Marsden, Alan (Swets & Zeitlinger Publishers, 2000)