1. Programming language RIGAL as a compiler writing tool;Auguston;ACM SIGPLAN Not.,1990
2. FORMAN—Program formal annotation language;Auguston,1991
3. PARFORMAN—An Assertion Language for Specifying Behaviour when Debugging Parallel Applications;Auguston,1992
4. The Specification of Process Synchronization by Path Expressions;Campbell,1974
5. The use of assertions in algorithmic debugging;Drabent,1988