BiLog : spatial logics for bigraphs /
Conforti, Giovanni.
Macedonio, Damiano.
Sassone, Vladimiro.
University of Sussex.Computer Science.
Brighton : University of Sussex, Department of Informatics,
2005.