Authors: Morris, JM Bunkenburg, A

Citation: Jm. Morris et A. Bunkenburg, A theory of bunches, ACT INFORM, 37(8), 2001, pp. 541-561

Authors: Morris, JM Bunkenburg, A

Citation: Jm. Morris et A. Bunkenburg, E3: A logic for reasoning equationally in the presence of partiality, SCI COMP PR, 34(2), 1999, pp. 141-158

Authors: Morris, JM Bunkenburg, A

Citation: Jm. Morris et A. Bunkenburg, Specificational functions, ACM T PROGR, 21(3), 1999, pp. 677-701