Understanding concurrent programs using program transformations. - Edward J. Younger; Martin P. Ward (WPC, 1993)