@article{journals/ijseke/AugustonF96,
	title = {Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications.},
	author = {Mikhail Auguston and Peter Fritzson},
	journal = {International Journal of Software Engineering and Knowledge Engineering},
	number = {4},
	pages = {609-640},
	url = {http://dblp.uni-trier.de/db/journals/ijseke/ijseke6.html#AugustonF96},
	volume = {6},
	year = {1996},
	biburl = {http://www.bibsonomy.org/bibtex/26b60a420f07318297c835dd9c63ac495/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1142/S0218194096000259}, date = {2008-07-09},
	keywords = {dblp }
}