A Protocol Engineering Workbench - IDE, compiler, VM, interpreter, debugger for Estelle (Extended State Transition Language), written in support of my Ph.D. thesis. This is old code; it probably compiles and runs command line tools on Unix, but the IDE was written for MS-DOS.