BibTeX records: Andrew J. Malton

download as .bib file

@article{DBLP:journals/jss/YaoOHAMW23,
  author       = {Kundi Yao and
                  Gustavo Ansaldi Oliva and
                  Ahmed E. Hassan and
                  Muhammad Asaduzzaman and
                  Andrew J. Malton and
                  Andrew Walenstein},
  title        = {Finding associations between natural and computer languages: {A} case-study
                  of bilingual {LDA} applied to the bleeping computer forum posts},
  journal      = {J. Syst. Softw.},
  volume       = {201},
  pages        = {111651},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jss.2023.111651},
  doi          = {10.1016/J.JSS.2023.111651},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/YaoOHAMW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tiot/LinKWM21,
  author       = {Changyuan Lin and
                  Hamzeh Khazaei and
                  Andrew Walenstein and
                  Andrew J. Malton},
  title        = {Autonomic Security Management for IoT Smart Spaces},
  journal      = {{ACM} Trans. Internet Things},
  volume       = {2},
  number       = {4},
  pages        = {27:1--27:20},
  year         = {2021},
  url          = {https://doi.org/10.1145/3466696},
  doi          = {10.1145/3466696},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tiot/LinKWM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-12739,
  author       = {Jinxin Liu and
                  Murat Simsek and
                  Burak Kantarci and
                  Melike Erol{-}Kantarci and
                  Andrew J. Malton and
                  Andrew Walenstein},
  title        = {Risk-Aware Fine-Grained Access Control in Cyber-Physical Contexts},
  journal      = {CoRR},
  volume       = {abs/2108.12739},
  year         = {2021},
  url          = {https://arxiv.org/abs/2108.12739},
  eprinttype    = {arXiv},
  eprint       = {2108.12739},
  timestamp    = {Thu, 02 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2108-12739.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccnc/QuintalKEMW20,
  author       = {Kyle Quintal and
                  Burak Kantarci and
                  Melike Erol{-}Kantarci and
                  Andrew J. Malton and
                  Andrew Walenstein},
  title        = {Enterprise Security with Adaptive Ensemble Learning on Cooperation
                  and Interaction Patterns},
  booktitle    = {{IEEE} 17th Annual Consumer Communications {\&} Networking Conference,
                  {CCNC} 2020, Las Vegas, NV, USA, January 10-13, 2020},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/CCNC46108.2020.9045328},
  doi          = {10.1109/CCNC46108.2020.9045328},
  timestamp    = {Mon, 30 Mar 2020 12:18:22 +0200},
  biburl       = {https://dblp.org/rec/conf/ccnc/QuintalKEMW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/internet/QuintalKEMW19,
  author       = {Kyle Quintal and
                  Burak Kantarci and
                  Melike Erol{-}Kantarci and
                  Andrew J. Malton and
                  Andrew Walenstein},
  title        = {Contextual, Behavioral, and Biometric Signatures for Continuous Authentication},
  journal      = {{IEEE} Internet Comput.},
  volume       = {23},
  number       = {5},
  pages        = {18--28},
  year         = {2019},
  url          = {https://doi.org/10.1109/MIC.2019.2941391},
  doi          = {10.1109/MIC.2019.2941391},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/internet/QuintalKEMW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WalensteinM19,
  author       = {Andrew Walenstein and
                  Andrew J. Malton},
  editor       = {Marcus Ciolkowski and
                  Dusica Marijan and
                  Matthias Galster and
                  Weiyi Shang and
                  Andreas Jedlitschka and
                  Rakesh Shukla and
                  Kanchana Padmanabhan},
  title        = {Generative modeling games for exploratory industry-academic research},
  booktitle    = {Proceedings of the Joint 7th International Workshop on Conducting
                  Empirical Studies in Industry and 6th International Workshop on Software
                  Engineering Research and Industrial Practice, CESSER-IP@ICSE 2019,
                  Montreal, QC, Canada, May 27, 2019},
  pages        = {18--21},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://dl.acm.org/citation.cfm?id=3338711},
  doi          = {10.1109/CESSER-IP.2019.00011},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/WalensteinM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/CordyDMS19,
  author       = {James R. Cordy and
                  Thomas R. Dean and
                  Andrew J. Malton and
                  Kevin A. Schneider},
  title        = {Software Engineering by Source Transformation - Experience with {TXL}
                  (Most Influential Paper, {SCAM} 2001)},
  booktitle    = {19th International Working Conference on Source Code Analysis and
                  Manipulation, {SCAM} 2019, Cleveland, OH, USA, September 30 - October
                  1, 2019},
  pages        = {140},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SCAM.2019.00024},
  doi          = {10.1109/SCAM.2019.00024},
  timestamp    = {Tue, 17 Dec 2019 09:49:31 +0100},
  biburl       = {https://dblp.org/rec/conf/scam/CordyDMS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/RajbahadurMWH18,
  author       = {Gopi Krishnan Rajbahadur and
                  Andrew J. Malton and
                  Andrew Walenstein and
                  Ahmed E. Hassan},
  title        = {A Survey of Anomaly Detection for Connected Vehicle Cybersecurity
                  and Safety},
  booktitle    = {2018 {IEEE} Intelligent Vehicles Symposium, {IV} 2018, Changshu, Suzhou,
                  China, June 26-30, 2018},
  pages        = {421--426},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/IVS.2018.8500383},
  doi          = {10.1109/IVS.2018.8500383},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ivs/RajbahadurMWH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/NevilleMBK16,
  author       = {Daniel Neville and
                  Andrew J. Malton and
                  Martin Brain and
                  Daniel Kroening},
  editor       = {Omer Tripp and
                  Christoph M. Wintersteiger},
  title        = {Towards Automated Bounded Model Checking of {API} Implementations},
  booktitle    = {Proceedings of the 7th Workshop on Constraint Solvers in Testing,
                  Verification, and Analysis co-located with The International Symposium
                  on Software Testing and Analysis {(ISSTA} 2016), Saarbr{\"{u}}cken,
                  Germany, July 17th, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1639},
  pages        = {31--42},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1639/paper-06.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:18 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/NevilleMBK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0808-2417,
  author       = {Jui{-}Yi Kao and
                  Andrew J. Malton and
                  Narad Rampersad and
                  Jeffrey O. Shallit},
  title        = {On NFAs Where All States are Final, Initial, or Both},
  journal      = {CoRR},
  volume       = {abs/0808.2417},
  year         = {2008},
  url          = {http://arxiv.org/abs/0808.2417},
  eprinttype    = {arXiv},
  eprint       = {0808.2417},
  timestamp    = {Mon, 09 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0808-2417.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/BaysalM07,
  author       = {Olga Baysal and
                  Andrew J. Malton},
  title        = {Correlating Social Interactions to Release History during Software
                  Evolution},
  booktitle    = {Fourth International Workshop on Mining Software Repositories, {MSR}
                  2007 {(ICSE} Workshop), Minneapolis, MN, USA, May 19-20, 2007, Proceedings},
  pages        = {7},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/MSR.2007.4},
  doi          = {10.1109/MSR.2007.4},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/msr/BaysalM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/MaltonH05,
  author       = {Andrew J. Malton and
                  Richard C. Holt},
  title        = {Boxology of {NBA} and {TA:} {A} Basis for Understanding Software Architecture},
  booktitle    = {12th Working Conference on Reverse Engineering, {WCRE} 2005, Pittsburgh,
                  PA, USA, November 7-11, 2005},
  pages        = {187--195},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/WCRE.2005.10},
  doi          = {10.1109/WCRE.2005.10},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/MaltonH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/DeanCMS03,
  author       = {Thomas R. Dean and
                  James R. Cordy and
                  Andrew J. Malton and
                  Kevin A. Schneider},
  title        = {Agile Parsing in {TXL}},
  journal      = {Autom. Softw. Eng.},
  volume       = {10},
  number       = {4},
  pages        = {311--336},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1025801405075},
  doi          = {10.1023/A:1025801405075},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/DeanCMS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/ChampaignMD03,
  author       = {John Champaign and
                  Andrew J. Malton and
                  Xinyi Dong},
  title        = {Stability and Volatility in the Linux Kernel},
  booktitle    = {6th International Workshop on Principles of Software Evolution {(IWPSE}
                  2003), 1-2 September 2003, Helsinki, Finland},
  pages        = {95},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/IWPSE.2003.1231215},
  doi          = {10.1109/IWPSE.2003.1231215},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwpse/ChampaignMD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/LinHM03,
  author       = {Yuan Lin and
                  Richard C. Holt and
                  Andrew J. Malton},
  editor       = {Arie van Deursen and
                  Eleni Stroulia and
                  Margaret{-}Anne D. Storey},
  title        = {Completeness of a Fact Extractor},
  booktitle    = {10th Working Conference on Reverse Engineering, {WCRE} 2003, Victoria,
                  Canada, November 13-16, 2003},
  pages        = {196--205},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/WCRE.2003.1287250},
  doi          = {10.1109/WCRE.2003.1287250},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/LinHM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/HaywardKM02,
  author       = {Ryan B. Hayward and
                  Paul E. Kearney and
                  Andrew J. Malton},
  title        = {NeST graphs},
  journal      = {Discret. Appl. Math.},
  volume       = {121},
  number       = {1-3},
  pages        = {139--153},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0166-218X(01)00207-4},
  doi          = {10.1016/S0166-218X(01)00207-4},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/HaywardKM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/CordyDMS02,
  author       = {James R. Cordy and
                  Thomas R. Dean and
                  Andrew J. Malton and
                  Kevin A. Schneider},
  title        = {Source transformation in software engineering using the {TXL} transformation
                  system},
  journal      = {Inf. Softw. Technol.},
  volume       = {44},
  number       = {13},
  pages        = {827--837},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0950-5849(02)00104-0},
  doi          = {10.1016/S0950-5849(02)00104-0},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/infsof/CordyDMS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/DeanCMS02,
  author       = {Thomas R. Dean and
                  James R. Cordy and
                  Andrew J. Malton and
                  Kevin A. Schneider},
  title        = {Grammar Programming in {TXL}},
  booktitle    = {2nd {IEEE} International Workshop on Source Code Analysis and Manipulation
                  {(SCAM} 2002), 1 October 2002, Montreal, Canada},
  pages        = {93},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/SCAM.2002.1134109},
  doi          = {10.1109/SCAM.2002.1134109},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scam/DeanCMS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/BullTMG02,
  author       = {R. Ian Bull and
                  Andrew Trevors and
                  Andrew J. Malton and
                  Michael W. Godfrey},
  editor       = {Arie van Deursen and
                  Elizabeth Burd},
  title        = {Semantic Grep: Regular Expressions + Relational Abstraction},
  booktitle    = {9th Working Conference on Reverse Engineering {(WCRE} 2002), 28 October
                  - 1 November 2002, Richmond, VA, {USA}},
  pages        = {267--276},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/WCRE.2002.1173084},
  doi          = {10.1109/WCRE.2002.1173084},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/BullTMG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/DeanCSM01,
  author       = {Thomas R. Dean and
                  James R. Cordy and
                  Kevin A. Schneider and
                  Andrew J. Malton},
  title        = {Using Design Recovery Techniques to Transform Legacy Systems},
  booktitle    = {2001 International Conference on Software Maintenance, {ICSM} 2001,
                  Florence, Italy, November 6-10, 2001},
  pages        = {622--631},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICSM.2001.972779},
  doi          = {10.1109/ICSM.2001.972779},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/DeanCSM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/MaltonSCDCR01,
  author       = {Andrew J. Malton and
                  Kevin A. Schneider and
                  James R. Cordy and
                  Thomas R. Dean and
                  Darren Cousineau and
                  Jason Reynolds},
  title        = {Processing Software Source Text in Automated Design Recovery and Transformation},
  booktitle    = {9th International Workshop on Program Comprehension {(IWPC} 2001),
                  12-13 May 2001, Toronto, Canada},
  pages        = {127--134},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/WPC.2001.921724},
  doi          = {10.1109/WPC.2001.921724},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwpc/MaltonSCDCR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/CordySDM01,
  author       = {James R. Cordy and
                  Kevin A. Schneider and
                  Thomas R. Dean and
                  Andrew J. Malton},
  title        = {{HSML:} Design Directed Source Code Hot Spots},
  booktitle    = {9th International Workshop on Program Comprehension {(IWPC} 2001),
                  12-13 May 2001, Toronto, Canada},
  pages        = {145--154},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/WPC.2001.921726},
  doi          = {10.1109/WPC.2001.921726},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwpc/CordySDM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/CordyDMS01,
  author       = {James R. Cordy and
                  Thomas R. Dean and
                  Andrew J. Malton and
                  Kevin A. Schneider},
  title        = {Software Engineering by Source Transformation-Experience with {TXL}},
  booktitle    = {1st {IEEE} International Workshop on Source Code Analysis and Manipulation
                  {(SCAM} 2001), 10 November 2001, Florence, Italy},
  pages        = {170--180},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/SCAM.2001.972678},
  doi          = {10.1109/SCAM.2001.972678},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scam/CordyDMS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/DeanMH01,
  author       = {Thomas R. Dean and
                  Andrew J. Malton and
                  Richard C. Holt},
  editor       = {Elizabeth Burd and
                  Peter Aiken and
                  Rainer Koschke},
  title        = {Union Schemas as a Basis for a {C++} Extractor},
  booktitle    = {Proceedings of the Eighth Working Conference on Reverse Engineering,
                  WCRE'01, Stuttgart, Germany, October 2-5, 2001},
  pages        = {59},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/WCRE.2001.957810},
  doi          = {10.1109/WCRE.2001.957810},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/DeanMH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/Dayani-FardM95,
  author       = {Homayoun Dayani{-}Fard and
                  Andrew J. Malton},
  editor       = {Dennis Bockus and
                  Karen Bennet and
                  W. Morven Gentleman and
                  J. Howard Johnson and
                  Evelyn Kidd},
  title        = {Phased development of critical real-time systems in timed {CSP}},
  booktitle    = {Proceedings of the 1995 Conference of the Centre for Advanced Studies
                  on Collaborative Research, November 7-9, 1995, Toronto, Ontario, Canada},
  pages        = {17},
  publisher    = {{IBM}},
  year         = {1995},
  url          = {https://dl.acm.org/citation.cfm?id=781932},
  timestamp    = {Fri, 30 Nov 2018 02:24:54 +0100},
  biburl       = {https://dblp.org/rec/conf/cascon/Dayani-FardM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/IsazadehMM95,
  author       = {Ayaz Isazadeh and
                  Glenn H. MacEwen and
                  Andrew J. Malton},
  editor       = {Dennis Bockus and
                  Karen Bennet and
                  W. Morven Gentleman and
                  J. Howard Johnson and
                  Evelyn Kidd},
  title        = {Behavioral patterns for software requirement engineering},
  booktitle    = {Proceedings of the 1995 Conference of the Centre for Advanced Studies
                  on Collaborative Research, November 7-9, 1995, Toronto, Ontario, Canada},
  pages        = {33},
  publisher    = {{IBM}},
  year         = {1995},
  url          = {https://dl.acm.org/citation.cfm?id=781948},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cascon/IsazadehMM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/Malton93,
  author       = {Andrew J. Malton},
  title        = {The Denotational Semantics of a Functional Tree-Manipulation Language},
  journal      = {Comput. Lang.},
  volume       = {19},
  number       = {3},
  pages        = {157--168},
  year         = {1993},
  url          = {https://doi.org/10.1016/0096-0551(93)90031-U},
  doi          = {10.1016/0096-0551(93)90031-U},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/Malton93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ca/Malton90,
  author       = {Andrew J. Malton},
  title        = {Functional interpretation of programming models},
  school       = {University of Toronto, Canada},
  year         = {1990},
  url          = {https://librarysearch.library.utoronto.ca/permalink/01UTORONTO\_INST/14bjeso/alma991106386456306196},
  timestamp    = {Wed, 10 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ca/Malton90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HehnerM87,
  author       = {Eric C. R. Hehner and
                  Andrew J. Malton},
  title        = {Termination Conventions and Comparative Semantics},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {1},
  pages        = {1--14},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00268842},
  doi          = {10.1007/BF00268842},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HehnerM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HehnerGM88,
  author       = {Eric C. R. Hehner and
                  Lorene E. Gupta and
                  Andrew J. Malton},
  title        = {Erratum: Predicative Methodology},
  journal      = {Acta Informatica},
  volume       = {26},
  number       = {3},
  pages        = {285},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00299637},
  doi          = {10.1007/BF00299637},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HehnerGM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HehnerGM86,
  author       = {Eric C. R. Hehner and
                  Lorene E. Gupta and
                  Andrew J. Malton},
  title        = {Predicative Methodology},
  journal      = {Acta Informatica},
  volume       = {23},
  number       = {5},
  pages        = {487--505},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF00288466},
  doi          = {10.1007/BF00288466},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HehnerGM86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics