Schmidt, Karsten (2002): Distributed verification with LoLa. Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 3-88579-350-4. pp. 94-103. Regular Research Papers. Potsdam. 9.-11. Oktober 2002
