作　　者：Brijesh Dongol ;John Derrick

出　　处：Electronic Proceedings in Theoretical Computer Science. 2013 ;115:15-35.doi:10.4204/EPTCS.115.2

出 版 社：Open Publishing Association

文 章 ID：85357023

作　　者：John Derrick ;Siobhán North ;Anthony J.H. Simons

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;55:37-52.doi:10.4204/EPTCS.55.3

出 版 社：Open Publishing Association

文 章 ID：83120176

作　　者：John Derrick

出　　处：Ilha do Desterro. 1991 ;0(25/26):031-048.

出 版 社：Universidade Federal de Santa Catarina

文 章 ID：184704889

作　　者：John Derrick

出　　处：Ilha do Desterro. 1983 ;4(10):033-053.

出 版 社：Universidade Federal de Santa Catarina

文 章 ID：184706203

作　　者：John Derrick

出　　处：Ilha do Desterro. 1981 ;2(6):034-036.

出 版 社：Universidade Federal de Santa Catarina

文 章 ID：184706272

作　　者：John Derrick

出　　处：Ilha do Desterro. 1981 ;2(5):029-054.

出 版 社：Universidade Federal de Santa Catarina

文 章 ID：184706298

作　　者：Brijesh Dongol ;John Derrick ;Lindsay Groves 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;37:470-494.doi:10.4230/LIPIcs.ECOOP.2015.470

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846924

作　　者：Brijesh Dongol ;John Derrick

出　　处：Electronic Communications of the EASST. 2014 ;66.

出 版 社：European Association of Software Science and Technology (EASST)

文 章 ID：185434296

作　　者：Brijesh Dongol ;John Derrick ;Ian J. Hayes

出　　处：Electronic Communications of the EASST. 2013 ;53.

出 版 社：European Association of Software Science and Technology (EASST)

文 章 ID：185435827

作　　者：Simon Doherty ;Brijesh Dongol ;John Derrick 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;70:35:1-35:17.doi:10.4230/LIPIcs.OPODIS.2016.35

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：193875244