From transformations to methodology in parallel program development: A case study - Gorlatch, Sergei (Microprocessing and microprogramming, 1996)
Keywords: Bird-Meertens formalism; Formal specification and design; Parallelization; Program transformation; Bird-Meertens formalism; Formal specification and design; Parallelization; Program transformation