publications:
- title: "Towards Correct Executable Semantics for Z"
  author:
  - name: "Peter T. Breuer"
    link: "http://www.cs.bham.ac.uk/~ptb/"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1994"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/BreuerB94%3A0"
  cites: 0
  citedby: 0
  pages: "185-209"
  booktitle: "zum"
  kind: "inproceedings"
  key: "BreuerB94:0"
- title: "Decompilation is the Efficient Enumeration of Types"
  author:
  - name: "Peter T. Breuer"
    link: "http://www.cs.bham.ac.uk/~ptb/"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1992"
  tags:
  - "decompilation"
  researchr: "https://researchr.org/publication/BreuerB92"
  cites: 0
  citedby: 0
  pages: "255-273"
  booktitle: "SAS"
  kind: "inproceedings"
  key: "BreuerB92"
- title: "Reasoning about VHDL and VHDL-AMS using Denotational Semantics"
  author:
  - name: "Peter T. Breuer"
    link: "http://www.cs.bham.ac.uk/~ptb/"
  - name: "Natividad Martínez Madrid"
    link: "https://researchr.org/alias/natividad-mart%C3%ADnez-madrid"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Robert B. France"
    link: "https://researchr.org/alias/robert-b.-france"
  - name: "María M. Larrondo-Petrie"
    link: "https://researchr.org/alias/mar%C3%ADa-m.-larrondo-petrie"
  - name: "Carlos Delgado Kloos"
    link: "https://researchr.org/alias/carlos-delgado-kloos"
  year: "1999"
  doi: "http://csdl.computer.org/comp/proceedings/date/1999/0078/00/00780346abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/date/1999/0078/00/00780346abs.htm"
  tags:
  - "semantics"
  - "denotational semantics"
  researchr: "https://researchr.org/publication/BreuerMBFLK99"
  cites: 0
  citedby: 0
  pages: "346-352"
  booktitle: "date"
  kind: "inproceedings"
  key: "BreuerMBFLK99"
- title: "A PREttier Compiler-Compiler: Generating Higher-order Parsers in C"
  author:
  - name: "Peter T. Breuer"
    link: "http://www.cs.bham.ac.uk/~ptb/"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  year: "1995"
  tags:
  - "C++"
  - "compiler"
  - "parsing"
  researchr: "https://researchr.org/publication/BreuerB95"
  cites: 0
  citedby: 0
  journal: "SPE"
  volume: "25"
  number: "11"
  pages: "1263-1297"
  kind: "article"
  key: "BreuerB95"