Catherine Meadows The NRL Protocol Analyzer: An Overview. 113-131 1996 26 J. Log. Program. 2 db/journals/jlp/jlp26.html#Meadows96