Mikhail Auguston Peter Fritzson Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications. 609-640 1996 6 Int. J. Softw. Eng. Knowl. Eng. 4 https://doi.org/10.1142/S0218194096000259 db/journals/ijseke/ijseke6.html#AugustonF96