Bunched Logic Programming. - Pablo A. Armelín; David J. Pym (IJCAR, 2001)

Programming with bunched implications. - Pablo A. Armelín (2003)