An imperative language based on distributive categories II Wafaa Khalil; R. F. C. Walters — 1993 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications