Generating efficient computational procedures from declarative models. - Claudio Maffezzoni; Roberto Girelli; Petrika Lluka (Simul. Pract. Theory, 1996)