@phdthesis{BroersenPHD2003,
    author = {J.M. Broersen},
    title = {Modal Action Logics for Reasoning about Reactive Systems},
    school = {Faculteit der Exacte Wetenschappen, Vrije Universiteit Amsterdam},
    month = {februari},
    isbn = {90-9016611-4},
    year = {2003}}