1. Contributions to the theory of logic programming;Apt;J. Assoc. Comput. Mech.,1982
2. P. Armelı́n, Logic programming with bunched logic, Ph.D. Thesis, University of London, 2002, forthcoming.
3. P. Armelı́n, D. Pym, Bunched logic programming (extended abstract), in: Proc. IJCAR 2001, Vol. 2083, Springer, Berlin, 2001, pp. 289–304.
4. P.N. Benton, O.M. Bierman, V.C.V. de Paiva, J.M.E. Hyland. Linear λ-calculus and categorical models revisited, in: E. Börger, et al. (Eds.), Proceedings of the Sixth Workshop on Computer Science Logic, Lecture Notes in Computer Science, Vol. 702, Springer, Berlin, 1992, pp. 61–84.
5. Operating system principles, Series in Automatic computation;Brinch Hanser,1973