@article{10.1007/s10664-010-9137-5,
  title = "A multiple comparative study of test-with development product changes and their effects on team speed and product quality",
  author = "Steve Bannerman and Andrew Martin",
  year = "2010",
  journal = "Empirical Software Engineering",
  keywords = "Multiple comparative study - Test-with development - Team speed - Product quality",
  url = "http://www.springerlink.com/content/k344l43136211232/abstract/",
  doi = "10.1007/s10664-010-9137-5",
}
@inproceedings{lyle-tapp10,
  title = "Trusted Computing and Provenance: Better Together",
  author = "John Lyle and Andrew Martin",
  year = "2010",
  booktitle = "Proceedings of the 2nd Workshop on the Theory and Practice of Provenance",
  publisher = "Usenix",
  url = "http://www.usenix.org/events/tapp10/tech/full_papers/lyle.pdf",
}
@article{Huh2010,
  title = "Managing application whitelists in trusted distributed systems",
  author = "Jun Ho Huh and John Lyle and Cornelius Namiluko and Andrew Martin",
  year = "2010",
  issn = "0167-739X",
  journal = "Future Generation Computer Systems",
  keywords = ""Configuration management", "Trusted computing","Trusted grid", "Virtual organisations", "Whitelisting"",
  url = ""http://www.sciencedirect.com/science/article/B6V06-50XCXVD-2/2/6efb0eda0beeb1edcc156190e2f843e8",
  volume = "In Press, Accepted Manuscript",
  doi = "DOI: 10.1016/j.future.2010.08.014",
}
@inproceedings{lyle-martin-trust2010,
  title = "Engineering Attestable Services (short paper)",
  author = "John Lyle and Andrew Martin",
  year = "2010",
  booktitle = "Proceedings of the 3rd International Conference on Trust and Trustworthy Computing",
  editor = "Acquisti, Alessandro; Smith, Sean W.; Sadeghi, Ahmad-Reza",
  location = "Berlin",
  month = "June",
  pages = "257--264",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.springerlink.com/content/4NG0010448040134",
  doi = "10.1007/978-3-642-13869-0",
}
@techreport{RR-10-03,
  title = "A Multiple Comparative Study of Test-With Development Product Changes and their Effects on Team Speed and Product Quality",
  author = "Steve Bannerman and Andrew Martin",
  year = "2010",
  affiliation = "OUCL",
  month = "April",
  number = "RR-10-03",
  pages = "61",
}
@inproceedings{LyleSecureCom09,
  title = "On the Feasibility of Remote Attestation for Web Services",
  author = "John Lyle and Andrew Martin",
  year = "2009",
  booktitle = "SecureCom09: Proceedings of the International Symposium on Secure Computing",
  isbn = "978-0-7695-3823-5",
  pages = "283-288",
  publisher = "IEEE",
  url = "http://doi.ieeecomputersociety.org/10.1109/CSE.2009.213",
}
@inproceedings{ISSR2009HUH,
  title = "Towards a Trustable Virtual Organisation",
  author = "Jun Ho Huh and Andrew Martin",
  year = "2009",
  address = "Los Alamitos, CA, USA",
  isbn = "978-0-7695-3747-4",
  journal = "Parallel and Distributed Processing with Applications, International Symposium on",
  month = "November",
  pages = "425-431",
  publisher = "IEEE Computer Society",
  doi = "10.1109/ISPA.2009.72",
}
@inproceedings{APTC2008HUH,
  title = "Trusted Logging for Grid Computing",
  author = "Jun Ho Huh and Andrew Martin",
  year = "2008",
  address = "Los Alamitos, CA, USA",
  booktitle = "Third Asia-Pacific Trusted Infrastructure Technologies Conference",
  month = "October",
  pages = "30-42",
  publisher = "IEEE Computer Society",
  doi = "10.1109/APTC.2008.9",
}
@techreport{RR-08-11,
  title = "The Ten Page Introduction to Trusted Computing",
  author = "Andrew Martin",
  year = "2008",
  institution = "OUCL",
  month = "December",
  number = "RR-08-11",
}
@article{knight:variation,
  title = "Association of parameter, software, and hardware variation with large-scale behavior across 57,000 climate models",
  author = "Christopher G. Knight and Sylvia H. E. Knight and Neil Massey and Tolu Aina and Carl Christensen and Dave J. Frame and Jamie A. Kettleborough and Andrew Martin and Stephen Pascoe and Ben Sanderson and David A. Stainforth and Myles R. Allen",
  year = "2007",
  journal = "Proceedings of the National Academy of Sciences in the United States of America",
  month = "jul",
  number = "30",
  pages = "12259--12264",
  volume = "104",
  doi = "10.1073/pnas.0608144104",
}
@inproceedings{wenbo:tc,
  title = "Innovations for Grid Security from Trusted Computing",
  author = "{Wenbo Mao} and {Andrew Martin} and {Hai Jin} and {Huanguo Zhang}",
  year = "2006",
  booktitle = "Fourteenth International Workshop on Security Protocols",
  note = "To appear",
  publisher = "Springer-Verlag",
  series = "LNCS",
}
@article{Massey:CPDN,
  title = "Data access and analysis with distributed federated data servers in climate\emph{prediction}.net",
  author = "N. Massey and T. Aina and M. Allen and C. Christensen and D. Frame and D. Goodman and J Kettleborough and A. Martin and S. Pascoe and D. Stainforth",
  year = "2006",
  journal = "Advances in Geosciences",
  month = "jun",
  pages = "49--56",
  url = "http://www.oerc.ox.ac.uk/image-library/adgeo-8-49-2006.pdf",
  volume = "8",
}
@inproceedings{APM:ac:grid,
  title = "Towards a Secure, Tamper-Proof Grid Platform.",
  author = "Andrew Cooper and Andrew Martin",
  year = "2006",
  booktitle = "Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 16-19 May 2006, Singapore",
  isbn = "0-7695-2585-7",
  pages = "373-380",
  publisher = "IEEE Computer Society",
}
@inproceedings{Spence:Shibgrid,
  title = "{ShibGrid}: {Shibboleth} Access for the {UK} {National Grid Service}",
  author = "David Spence and Neil Geddes and Jens Jensen and Andrew Richards and Matthew Viljoen and Andrew Martin and Matthew Dovey and Mark Norman and Kang Tang and Anne Trefethen and David Wallom and Rob Allan and David Meredith",
  year = "2006",
  booktitle = "eScience 2006, Amsterdam",
}
@article{DBLP:journals/entcs/ArenasDMM06,
  title = "Preface.",
  author = "Alvaro E. Arenas and Jin Song Dong and Andrew Martin and Brian Matthews",
  year = "2006",
  journal = "Electr. Notes Theor. Comput. Sci.",
  number = "2",
  pages = "1",
  volume = "151",
}
@inproceedings{Cooper:Delegation,
  title = "Trusted Delegation for Grid Computing",
  author = "Andrew Cooper and Andrew Martin",
  year = "2006",
  booktitle = "The Second Workshop on Advances in Trusted Computing",
}
@inproceedings{cooper:drm,
  title = "Towards an open, trusted digital rights management platform",
  author = "Andrew Cooper and Andrew Martin",
  year = "2006",
  address = "New York, NY, USA",
  booktitle = "DRM '06: Proceedings of the ACM workshop on Digital rights management",
  isbn = "1-59593-555-X",
  location = "Alexandria, Virginia, USA",
  pages = "79--88",
  publisher = "ACM Press",
  doi = "http://doi.acm.org/10.1145/1179509.1179525",
}
@techreport{Martlet:Middleware:OUCL,
  title = "Scientific middleware for abstracted parallelisation",
  author = "Daniel Goodman",
  year = "2005",
  institution = "Oxford University Computing Laboratory",
  month = "November",
  number = "RR-05-07",
}
@inproceedings{MomtahanMartinRoscoe:Taxonomy,
  title = "A Taxonomy of Web Services Using {CSP}",
  author = "Lee Momtahan and Andrew Martin and A. W. Roscoe",
  year = "2005",
  booktitle = "Proceedings of Web Languages and Formal Methods",
}
@article{stainforthetal,
  title = "Uncertainty in the predictions of the climate response to rising levels of greenhouse gases",
  author = "D. A. Stainforth and T. Aina and C. Christensen and M. Collins and N. Faull and D. J. Frame and J. A. Kettleborough and S. Knight and A. Martin and J. M. Murphy and C. Piani and D. Sexton and L. A. Smith and R. A. Spicer and A. J. Thorpe and M. R. Allen",
  year = "2005",
  journal = "Nature",
  pages = "403--406",
  volume = "433",
}
@article{SPE-gridsec,
  title = "Editorial, Guest Editors, Special issue on Grid Security",
  author = "Howard Chivers and Andrew Martin",
  year = "2005",
  journal = "Software---Practice and Experience",
  month = "jul",
  number = "9",
  publisher = "Wiley InterScience",
  volume = "35",
}
@inproceedings{MartinEtAl:TwoKinds,
  title = "On two kinds of public-resource distributed computing",
  author = "Andrew Martin and Tolu Aina and Carl Christensen and Jamie Kettleborough and David Stainforth",
  year = "2005",
  booktitle = "Proceedings of Fourth UK e-Science All Hands Meeting",
}
@article{stainforthetal,
  title = "Uncertainty in the predictions of the climate response to rising levels of greenhouse gases",
  author = "D. A. Stainforth and T. Aina and C. Christensen and M. Collins and N. Faull and D. J. Frame and J. A. Kettleborough and S. Knight and A. Martin and J. M. Murphy and C. Piani and D. Sexton and L. A. Smith and R. A. Spicer and A. J. Thorpe and M. R. Allen",
  year = "2005",
  journal = "Nature",
  pages = "403--406",
  volume = "433",
}
@techreport{RR-04-22,
  title = "A taxonomy of web services using CSP",
  author = "Lee Momtahan and Andrew Martin and A. W. Roscoe",
  year = "2004",
  institution = "Oxford University Computing Laboratory",
  month = "October",
  number = "RR-04-22",
}
@techreport{RR-04-26,
  title = "Object Models: Job Submission in DataGrids",
  author = "Lee Momtahan and Andrew Martin",
  year = "2004",
  institution = "Oxford University Computing Laboratory",
  month = "February",
  number = "RR-04-26",
}
@inproceedings{Daviesetal,
  title = "Teaching Formal Methods in Context",
  author = "Jim Davies and Andrew Simpson and Andrew Martin",
  year = "2004",
  booktitle = "Symposium on Teaching Formal Methods",
  editor = "C. Neville Dean and Raymond T. Boute",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "3294",
}
@inproceedings{GoodmanMartin,
  title = "Grid Style Web Services for ClimatePrediction.net",
  author = "Daniel Goodman and Andrew Martin",
  year = "2004",
  booktitle = "GGF workshop on building Service-Based Grids, Honolulu, Hawaii",
  editor = "S. Newhouse and S. Parastatidis",
  organization = "Global Grid Forum",
}
@inproceedings{MartinCook,
  title = "Grids and Private Networks are Anthitetical",
  author = "Andrew Martin and Carl Cook",
  year = "2004",
  booktitle = "Grid Security Practice and Experience Workshop",
  editor = "Howard Chivers and Andrew Martin",
  publisher = "Computer Science Department, University of York, YCS-2004-380",
}
@inproceedings{stainforth:security,
  title = "Security Principles for Public-Resource Modeling Research.",
  author = "Dave Stainforth and Andrew Martin and Andrew Simpson and Carl Christensen and Jamie Kettleborough and Tolu Aina and Myles Allen",
  year = "2004",
  booktitle = "13th IEEE International Workshops on Enabling Technologies (WETICE 2004), Infrastructure for Collaborative Enterprises, 14-16 June 2004, Modena, Italy",
  isbn = "0-7695-2183-5",
  pages = "319-324",
  publisher = "IEEE Computer Society",
}
@techreport{RR-03-15,
  title = "A Critical Survey of Grid Security Requirements and Technologies",
  author = "Philippa J. Broadfoot and Andrew P. Martin",
  year = "2003",
  institution = "Oxford University Computing Laboratory",
  month = "August",
  number = "RR-03-15",
}
@inproceedings{Simpson_and_Martin_2003,
  title = "Supplementing the understanding of Z: a formal approach to database design",
  author = "Simpson, A.~C. and Martin, A.~P.",
  year = "2003",
  booktitle = "Proceedings of the BCS Teaching Formal Methods workshop",
  publisher = "BCS",
}
@inproceedings{simpson:projects,
  title = "On the supervision and assessment of part-time postgraduate software engineering projects",
  author = "Simpson, A~C. and Martin, A.~P. and Gibbons, J. and Davies, J.~W. and McKeever, S.~W.",
  year = "2003",
  booktitle = "Proceedings of the 25th International Conference on Software Engineering (ICSE), Portland, Oregon, 3--10 May, 2003",
  pages = "628--633",
  publisher = "{IEEE} Computer Society Press",
}
@inproceedings{zml,
  title = "{ZML}: {XML} Support for {Standard Z}",
  author = "Mark Utting and Ian Toyn and Jing Sun and Andrew Martin and Jin Song Dong and Nicholas Daley and David W. Currie",
  year = "2003",
  booktitle = "ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings",
  editor = "Didier Bert and Jonathan P. Bowen and Steve King and Marina Wald{\'e}n",
  isbn = "3-540-40253-5",
  pages = "437-456",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2651",
}
@techreport{broadfootMartin:grid-sec,
  title = "Grid Security: Requirements and Technologies A Survey of the State-of-the-art",
  author = "Philippa Broadfoot and Andrew Martin",
  year = "2003",
  address = "Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK",
  institution = "Programming Research Group",
  number = "PRG-RR-03-15",
}
@inproceedings{DBLP:conf/icse/SimpsonMGDM03,
  title = "On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects.",
  author = "Andrew Simpson and Andrew Martin and Jeremy Gibbons and Jim Davies and Steve McKeever",
  year = "2003",
  booktitle = "Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA",
  pages = "628-633",
  publisher = "IEEE Computer Society",
}
@inproceedings{MartinSimpsonZDB,
  title = "Generalizing the Schema Calculus: Database Schemas and Beyond",
  author = "Andrew Martin and Andrew Simpson",
  year = "2003",
  booktitle = "Proceedings of 10th Asia-Pacific Software Engineering Conference",
  note = "to appear",
  publisher = "IEEE press",
}
@inproceedings{Stainforth_et_al_2002b,
  title = "climate\emph{prediction}.com: security and design planning",
  author = "Stainforth, D. and Kettleborough, J.~A. and Martin, A.~P. and Simpson, A.~C. and Martin, A.~P. and Gillis, R. and Akkas, A. and Gault, R. and Collins, M. and Gavaghan, D.~J. and Allen, M.",
  year = "2002",
  booktitle = "Proceedings of the 2002 UK e-Science All Hands Meeting",
}
@inproceedings{cpdn-arch,
  title = "Climate\emph{prediction}.net: design principles for public resource modelling research.",
  author = "Stainforth, D. and Kettleborough, J. and Martin, A. and Simpson, A. and Gillis, R. and Akkas, A. and Gault, R. and Collins, M. and Gavaghan, D. and Allen, M.",
  year = "2002",
  booktitle = "Proc. 14th IASTED conference on parallel and distributed computing systems.",
}
@misc{MartinMomtahan:Challenge,
  title = "{e-Science}: A {Software Engineering Challenge}",
  author = "Andrew Martin and Lee Momtahan",
  year = "2002",
  booktitle = "UK eScience All Hands Meeting",
  howpublished = "Poster",
  note = "UK eScience All Hands Meeting",
}
@inproceedings{MomtahanMartin:Experiences,
  title = "{e-Science} Experiences: {Software Engineering} Practice and the {EU DataGrid}",
  author = "Lee Momtahan and Andrew Martin",
  year = "2002",
  booktitle = "Proc. Asia-Pacific Software Engineering Conference",
  pages = "269--275",
  publisher = "IEEE Press",
}
@inproceedings{martinfidge:lifting,
  title = "Lifting in {Z}",
  author = "A. Martin and C. Fidge",
  year = "2001",
  booktitle = "Proceedings of CATS'2001",
  number = "42",
  series = "Electronic Notes in Theoretical Computer Science",
}
@article{APM:Relating-FACS,
  title = "Relating {Z} and First-order logic",
  author = "A. P. Martin",
  year = "2000",
  journal = "Formal Aspects of Computing",
  pages = "199--209",
  volume = "12",
}
@article{BrienMartin:Calculus,
  title = "A calculus for schemas in {Z}",
  author = "Stephen Brien and Andrew Martin",
  year = "2000",
  journal = "J. Symbolic Computation",
  number = "1",
  pages = "63--91",
  volume = "30",
}
@article{BM:schemas,
  title = "A Calculus for Schemas in {Z}",
  author = "S. M. Brien and A. P. Martin",
  year = "2000",
  journal = "J. Symbolic Computation",
  number = "1",
  pages = "63--91",
  volume = "30",
}
@incollection{declarative,
  title = "Declarative languages in education",
  author = "H. Glaser and P. H. Hartel and M. Leuschel and A. Martin",
  year = "2000",
  address = "New York",
  booktitle = "Encyclopaedia of Microcomputers",
  pages = "79--102",
  publisher = "Marcel Dekker Inc.",
  volume = "27",
}
@inproceedings{APM:Relating-FM,
  title = "Relating {Z} and first-order logic",
  author = "Andrew Martin",
  year = "1999",
  booktitle = "FM'99 -- Formal Methods",
  editor = "Jeanette M. Wing and Jim Woodcock and Jim Davies",
  month = "sep",
  number = "1708,1709",
  pages = "1266--1280",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
}
@inproceedings{soton:tenmethods,
  title = "Questions and Answers About Ten Formal Methods",
  author = "P. Hartel and M. Butler and A. Currie and P. Henderson and M. Leuschel and A. Martin and A. Smith and U. Ultes-Nitsche and B. Walters",
  year = "1999",
  address = "Trento, Italy",
  booktitle = "Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems",
  editor = "S. Gnesi and D. Latella",
  isbn = "88-7958-009-4",
  month = "July",
  organization = "ERCIM",
  pages = "179-203",
  publisher = "STAR/CNR, Pisa, Italy",
  volume = "II",
}
@inproceedings{fkm98,
  title = "Applying the {Cogito} Program Development Environment to Real-Time System Design",
  author = "C. J. Fidge and P. Kearney and A. P. Martin",
  year = "1998",
  booktitle = "Computer Science '98",
  editor = "C. McDonald",
  isbn = "981-3083-90-5",
  note = "Proc. 21st Australasian Computer Science Conference, Perth, 4-6 February 1998. Australian Computer Science Communications, Vol. 20, No. 1. Also available as technical report SVRC-TR-97-36.",
  pages = "367--378",
  publisher = "Springer-Verlag",
  url = "http://svrc.it.uq.edu.au/Bibliography/svrc-tr.html?97-36",
}
@inproceedings{fidge:mpc98,
  title = "A Set-Theoretic Model for Real-Time Specification and Reasoning",
  author = "C. J. Fidge and I. J. Hayes and A. P. Martin and A. K. Wabenhorst",
  year = "1998",
  booktitle = "Mathematics of Program Construction (MPC'98)",
  editor = "J. Jeuring",
  pages = "188--206",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "1422",
}
@inproceedings{Us:CogDev,
  title = "The {Cogito} development system",
  author = "Owen Traynor and Dan Hazel and Peter Kearney and Andrew Martin and Ray Nickson and Luke Wildman",
  year = "1997",
  address = "Berlin",
  booktitle = "Algebraic Methodology and Software Technology",
  editor = "Michael Johnson",
  isbn = "3-540-63888-1",
  issn = "0302-9743",
  month = "dec",
  note = "6th International conference, AMAST'97, Sydney, Australia",
  pages = "586--591",
  publisher = "Springer-Verlag",
  series = "LNCS",
  volume = "1349",
}
@inproceedings{HallMartin:WReconstructed,
  title = "W Reconstructed",
  author = "Jon Hall and Andrew Martin",
  year = "1997",
  address = "Berlin Heidelberg",
  annote = "10th International Conference of Z Users, University of Reading, April 1997, Proceedings",
  booktitle = "{ZUM'97}: The {Z} Formal Specification Notation, 10th International Conference of {Z} Users, {Reading}, {UK}, April 1997, Proceedings",
  editor = "Jonathan P. Bowen and Michael G Hinchey and David Till",
  isbn = "3-540-62717-0",
  month = "apr",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "1212",
}
@techreport{MNU:parallel,
  title = "Improving {Angel}'s Parallel Operator: {Gumtree}'s Approach",
  author = "Andrew Martin and Ray Nickson and Mark Utting",
  year = "1997",
  address = "The University of Queensland, QLD 4072, Australia",
  institution = "Software Verification Research Centre",
  number = "97-15",
}
@inproceedings{MNU:TacErgo,
  title = "A Tactic Language for {Ergo}",
  author = "A. Martin and R. Nickson and M. Utting",
  year = "1997",
  address = "Singapore",
  booktitle = "Formal Methods Pacific '97",
  editor = "Lindsay Groves and Steve Reeves",
  isbn = "981-3083-31-X",
  keywords = "tactics,user interface",
  month = "jul",
  note = "Also appears as TR97-16, Software Verification Research Centre, The University of Queensland, QLD 4072, Australia",
  publisher = "Springer-Verlag",
  series = "Springer Series in Discrete Mathematics and Theoretical Computer Science",
}
@techreport{me:proof-is-hard,
  title = "Why effective proof tool support for {Z} is hard",
  author = "Andrew Martin",
  year = "1997",
  institution = "Software Verification Research Centre",
  number = "97-34",
  url = "http://svrc.it.uq.edu.au/Bibliography/svrc-tr.html?97-34",
}
@inproceedings{me:infinite,
  title = "Infinite Lists for Specifying Functional Programs in {Z}",
  author = "Andrew Martin",
  year = "1996",
  booktitle = "Proceedings of Australian Refinement Workshop",
  publisher = "University of Queensland",
  url = "http://www.it.uq.edu.au/MENU/WORKSHOPS-SEMINARS-CONFERENCES/WORKSHOPS/Martin.ps.gz",
}
@unpublished{Martin:Monads,
  title = "Of Tactics and Monads",
  author = "Andrew Philip Martin",
  year = "1996",
  note = "Work in progress",
}
@article{MGW:Tactics,
  title = "A Tactic Calculus",
  author = "A. P. Martin and P. H. B. Gardiner and J. C. P. Woodcock",
  year = "1996",
  journal = "Formal Aspects of Computing",
  note = "An abridged version appears in the printed journal; the full version is available in the electronic supplement to Formal Aspects of Computing, 8E, pp244--285. http://link.springer.de/link/service/journals/00165/supp/list94\_96.htm",
  number = "4",
  pages = "479--489",
  publisher = "Springer--Verlag",
  volume = "8",
}
@techreport{BM:tutorial,
  title = "A Tutorial on Proof in {Standard Z}",
  author = "Stephen M. Brien and Andrew P. Martin",
  year = "1995",
  address = "Wolfson Building, Parks Road, Oxford, OX1 3QD, UK",
  institution = "Programming Research Group, Oxford University Computing Laboratory",
  isbn = "0-902928-94-5",
  note = "Presented at ZUM'95",
  number = "PRG-120",
}
@phdthesis{me:thesis,
  title = "Machine-Assisted Theorem-Proving for Software Engineering",
  author = "Andrew Martin",
  year = "1994",
  month = "Michaelmas",
  note = "Also available as Technical Monograph PRG-121, ISBN 0-902928-95-3, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK",
  school = "University of Oxford",
}
@unpublished{apm:infZ,
  title = "Infinite Lists in {Z}",
  author = "Andrew Martin",
  year = "1993",
  note = "Draft paper",
}
@inproceedings{apm:ew2o,
  title = "{Encoding \Wlog : A Logic for Z in 2OBJ}",
  author = "Andrew Martin",
  year = "1993",
  booktitle = "FME'93: Industrial-Strength Formal Methods",
  editor = "J. C. P. Woodcock and P. G. Larsen",
  isbn = "0-387-56662-7 and 3-540-56662-7",
  pages = "462--481",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "670",
}
@techreport{W&2OBJ:soundness,
  title = "{Soundness of an Encoding of \Wlog: A Logic for Z in 2OBJ}",
  author = "Hendrik Hilberdink and Andrew Martin",
  year = "1992",
  institution = "OUCL(PRG)",
  month = "June",
}
@unpublished{monads-tactics,
  title = "A Monadic Interpretation of Tactics",
  author = "Andrew Martin and Jeremy Gibbons",
  note = "Submitted to MPC2002",
}