@inproceedings {ND.5.Gjessing.1989,
	title = {Trace Based Verification of Parallel Programs With Shared Variables},
	journal = {22nd Annual Hawaii International Conference on System Sciences},
	year = {1989},
	month = {January,},
	type = {1},
	author = {Gjessing, Stein and Munthe-Kaas, Ellen}
}
