Frank Leßke: Abstrakte Datentypen und temporale Logik: ein kombinierter Spezifikationsansatz. Shaker Ludwig Maximilian University of Munich, Germany 1995, ISBN 978-3-8265-0533-1, 1-211