An Imperative Language Based on Distributive Categories II. - Wafaa Khalil; Robert F. C. Walters (RAIRO Theor. Informatics Appl., 1993)

Fix-point Semantics for Programs in Distributive Categories. - Eric G. Wagner; Wafaa Khalil; Robert F. C. Walters (Fundam. Informaticae, 1995)