Begin moving over Philippa's older publications

README.md

@@ -40,7 +40,8 @@ A BibTeX record looks like this:
 @Type{Key,
   field = {value},
   field = {value},
-}```
+}
+```
 
 For details of the possible types of entries, and their minimal set of required
 fields, see [the Wikipedia BibTeX article](https://en.wikipedia.org/wiki/BibTeX#Entry_types).
@@ -97,24 +98,41 @@ Publication file types are listed in the configuration file
 [`_publication_file_types.yml`](_publication_file_types.yml). These file types will
 be offered directly for download:
 * `.pdf`: Authors' Preprint
+* `.abstract.pdf`: Extended Abstract
+* `.extended.pdf`: Extended Version
 * `.techreport.pdf`: Technical Report
 * `.slides.pdf`: Slides
 * `.zip`: File Archive (.zip)
+* `.tgz`: File Archive (.tgz)
 
 These extensions are for plain text files containing _only_ the URL to link to:
 * `.github.link`: Code Repository (GitHub)
 * `.repo.link`: Code Repository
 
+## Converting Old .ps Files
+If you come across and old `.ps` or `.ps.gz` file, it should be converted to a
+PDF. This can be tricky to do in a way that preserves the font information
+adequately. These instructions should cover all eventualities:
+
+1. Check what software produced the file `grep Creator file.ps`, if the
+   software listed is `dvips`, then follow the instructions
+   [here](https://tex.stackexchange.com/a/120273/15188).
+2. Otherwise, you can use the `ps2pdf` software. If the original document page
+   size is A4, then you should add the parameter `-sPAPERSIZE=a4` to your
+   command.
+
 ## Git Submodule Notes
 This repository is included as a submodule in the repositories for the [Group
 Website](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk) and
 [Philippa's Homepage](https://gitlab.doc.ic.ac.uk/resource-reasoning/pgwebpage).
 
-Be aware that changes to the submodule _must_ be committed to the submodule (and
-optionally, to the top-level project). Website builds will always take the
-`master` branch of the publications repository, no matter what submodule version
-is committed to the website repositories, as they use the command `git submodule
-update --remote`, which always fetches the most recent version for use.
+Be aware that changes to the publications directory **must** be committed **and
+pushed** to the submodule (and optionally, to the top-level project).
+
+Website builds will always take the `master` branch of the publications
+repository, no matter what submodule version is committed to the website
+repositories, as they use the command `git submodule update --remote`, which
+always fetches the most recent version for use.
 
 This repository can be included in website repositories either as a submodule or
 as a checkout before build/deploy. Post-checkin/test pass hooks can be

_publication_file_types.yml

@@ -9,20 +9,29 @@
 - ext: pdf
   icon: fa-file-text-o
   text: "Authors' Preprint"
+- ext: abstract.pdf
+  icon: fa-file-text-o
+  text: "Extended Abstract"
+- ext: extended.pdf
+  icon: fa-file-text-o
+  text: "Extended Version"
 - ext: techreport.pdf
   icon: fa-file-text-o
-  text: Technical Report
+  text: "Technical Report"
 - ext: slides.pdf
   icon: fa-file-text-o
   text: "Slides"
 - ext: zip
   icon: fa-file-archive-o
   text: "File Archive (.zip)"
+- ext: tgz
+  icon: fa-file-archive-o
+  text: "File Archive (.tgz)"
 - ext: github.link
   icon: fa-github
-  text: Code Repository (GitHub)
+  text: "Code Repository (GitHub)"
   include: true
 - ext: repo.link
   icon: fa-code-fork
-  text: Code Repository
+  text: "Code Repository"
   include: true

publications.bib

@@ -342,6 +342,7 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
   pages     = {69--88},
   publisher = {Springer},
   doi       = {10.1007/3-540-44618-4_7},
+  file      = {Gardner2000Process.pdf:Gardner2000Process.pdf:PDF},
 }
 
 @InProceedings{Gardner2000Explicit,
@@ -355,6 +356,7 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
   pages     = {373--382},
   publisher = {Springer},
   doi       = {10.1007/3-540-44612-5_33},
+  file      = {Gardner2000Explicit.pdf:Gardner2000Explicit.pdf:PDF},
 }
 
 @Article{Gardner1999Closed,
@@ -390,6 +392,7 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
   pages     = {78--97},
   publisher = {Springer},
   doi       = {10.1007/BFb0028008},
+  file      = {Barber1997Action.pdf:Barber1997Action.pdf:PDF;Barber1997Action.ps:Barber1997Action.ps:PostScript},
 }
 
 @InProceedings{Gardner1997Types,
@@ -403,6 +406,7 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
   pages     = {583--603},
   publisher = {Springer},
   doi       = {10.1007/BFb0014569},
+  file      = {:Gardner1997Types.extended.pdf:PDF},
 }
 
 @Article{Gardner1995name,
@@ -591,6 +595,7 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
   publisher = {Springer},
   abstract  = {We study a spatial logic for reasoning about labelled directed graphs, and the application of this logic to provide a query language for analysing and manipulating such graphs. We give a graph description using constructs from process algebra. We introduce a spatial logic in order to reason locally about disjoint subgraphs. We extend our logic to provide a query language which preserves the multiset semantics of our graph model. Our approach contrasts with the more traditional set-based semantics found in query languages such as TQL, Strudel and GraphLog.},
   doi       = {10.1007/3-540-45465-9_51},
+  file      = {Cardelli2002Spatial.pdf:Cardelli2002Spatial.pdf:PDF},
   project   = { TBD },
 }
 
@@ -1083,6 +1088,15 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
   project   = { TBD },
 }
 
+@Unpublished{Gardner1999Symmetric,
+  author = {Gardner, Philippa and Wischik, Lucian J.},
+  title  = {Symmetric Action Calculi},
+  note   = {Extended Abstract appeared at EXPRESS'99},
+  month  = feb,
+  year   = {1999},
+  file   = {:Gardner1999Symmetric.pdf:PDF;:Gardner1999Symmetric.abstract.pdf:PDF},
+}
+
 @Comment{jabref-meta: databaseType:bibtex;}
 
 @Comment{jabref-meta: saveActions:enabled;