Transformation of functional specifications of finite difference methods to parallel distributed codes. - Kanad Roy; Carl McCrosky (PACT, 1995)