A note on read- k times branching programs Stasys Jukna (1995) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
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