Model-driven Validation of Parallel Programs based on Event Traces. - Peter Dauphin; M. Kienow; Andreas Quick (Programming Environments for Parallel Computing, 1992)