1. Abrahamson, K., “Decidability and expressiveness of logics of processes,” Ph.D. thesis, Ph.D. Dissertation, Department of Computer Science, University of Washington (1980).
2. A propositional dynamic logic for CCS programs;Benevides,2008
3. A propositional dynamic logic for concurrent programs based on the π-calculus;Benevides,2010
4. Brown, C. and G. Hutton, Categories, allegories and circuit design., in: Proc. Ninth Annual IEEE Symp. on Logic in Computer Science (1994), pp. 372–381.
5. Brown, C. and A. Jeffrey, Allegories of circuits., in: Proc. Logical Foundations of Computer Science (1994), pp. 56–68.