Peck, P. (2000). Rigorose objektorientierte Analyse mit LOTOS: Spezifikation eines nebenläufigen, objektorientierten Datenflußsystems für die digitale Signalverarbeitung [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/182266