%% bibtex-file{
%%   author             = {Alan Jeffrey},
%%   date               = {29 Nov 2007},
%%   filename           = {JeffreyASA.bib},
%%   url                = {http://cm.bell-labs.com/cm/cs/who/ajeffrey/JeffreyASA.bib},
%%   www-home           = {http://cm.bell-labs.com/cm/cs/who/ajeffrey/},
%%   dates              = {1990--},
%%   keywords           = {},
%%   supported          = {yes},
%%   supported-by       = {Alan Jeffrey},
%%   abstract           = {Bibliography for Alan Jeffrey}}

@Article{JJPR08:LambdaRBAC,
  author = 	 {R. Jagadeesan and A. S. A. Jeffrey and C. Pitcher and J. Riely},
  title = 	 {Lambda {RBAC}: Programming with Role-Based Access Control},
  journal = 	 {Logical Methods In Computer Science},
  year = 	 {2008},
  note =	 {To appear},
  url = 	 {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/lmcs08.pdf}
}

@InProceedings{BJ07:EfficientExpressive,
  author = 	 {M. Benedikt and A. S. A. Jeffrey},
  title = 	 {Efficient and Expressive Tree Filters},
  booktitle =	 {Proc. Foundations of Software Technology and Theoretical Computer Science},
  year =	 {2007},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer-Verlag},
  note =	 {To appear},
  url = 	 {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/fsttcs07.pdf}
}

@Article{JR08:FullAbstraction,
  author = 	 {A. S. A. Jeffrey and J. Rathke},
  title = 	 {Full Abstraction for Polymorphic Pi-Calculus},
  journal = 	 {Theoretical Computer Science},
  year =	 {2008},
  note =         {To appear},
  url =          {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/tcs07.pdf}
}

@InProceedings{JL06:DynamicModelChecking,
  author = 	 {A. S. A. Jeffrey and R. Ley-Wild},
  title = 	 {Dynamic Model Checking of {C} Cryptographic Protocol Implementations},
  booktitle =	 {Proc. Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis},
  year =	 {2006},
  url =          {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/fcs06.pdf}
}

@Article{HJ06:PatternMatching,
  author = 	 {C. Haack and A. S. A. Jeffrey},
  title = 	 {Pattern-Matching Spi-Calculus},
  journal = 	 {Information and Computation},
  year = 	 {2006},
  volume = 	 {204},
  number = 	 {8},
  pages = 	 {1195-1263},
  url = 	 {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/ic06.pdf}
}

@Article{JJR06:TypedParametric,
  author = 	 {R. Jagadeesan and A. S. A. Jeffrey and J. Riely},
  title = 	 {Typed Parametric Polymorphism for Aspects},
  journal = 	 {Science of Computer Programming},
  volume =       {63},
  number =       {3},
  pages =        {267--296},
  year = 	 {2006},
  url = 	 {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/scp06.pdf}
}

@InProceedings{JJPR06:LambdaRBAC
  author = 	 {R. Jagadeesan and A. S. A. Jeffrey and C. Pitcher and J. Riely},
  title = 	 {Lambda-{RBAC}: Programming with Role-Based Access Control},
  year =	 {2006},
  booktitle =    {Proc. Int. Colloq. Automata, Languages and Programming},
  series =       {Lecture Notes in Computer Science},
  publisher = 	 {Springer-Verlag},
  volume = 	 {4052},
  pages = 	 {456-467},
  url = 	 {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/icalp06.pdf}
}

@InProceedings{GJ05:SecrecyDespite,
  author = 	 {A. D. Gordon and A. S. A. Jeffrey},
  title = 	 {Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus},
  booktitle =	 {Proc. Concur},
  year =	 {2005},
  volume = 	 {3653},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer-Verlag},
  pages =	 {186-201},
  url =          {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/concur05a.pdf}
}

@InProceedings{HJ05:TimedSpiCalculus,
  author = 	 {C. Haack and A. S. A. Jeffrey},
  title = 	 {Timed Spi-calculus with Types for Secrecy and Authenticity},
  booktitle =	 {Proc. Concur},
  volume = 	 {3653},
  year =	 {2005},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer-Verlag},
  pages =	 {202-216},
  url =          {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/concur05b.pdf}
}

@Article{JR05:ContextualEquivalence,
  author = 	 {A. S. A. Jeffrey and J. Rathke},
  title = 	 {Contextual Equivalence for Higher-Order Pi-Calculus Revisited},
  journal =	 {Logical Methods in Computer Science},
  year =	 {2005},
  url = 	 {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/lmcs05.pdf},
  volume =       {1},
  number =       {1:4},
  pages =        {1-22}
}

@InProceedings{JR05:JavaJr,
  author = 	 {A. S. A. Jeffrey and J. Rathke},
  title = 	 {Java Jr.: Fully Abstract Trace Semantics for a Core {Java} Language},
  booktitle =	 {Proc. European Symposium on Programming},
  year =	 {2005},
  pages =        {423-438},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer-Verlag},
  volume =       {3444},  
  url = 	 {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/esop05.pdf}
}

@InProceedings{JR05:FullAbstraction,
  author = 	 {A. S. A. Jeffrey and J. Rathke},
  title = 	 {Full Abstraction for Polymorphic Pi-Calculus},
  booktitle =	 {Proc. Foundations of Software Science and Computation Structures},
  year =	 {2005},
  pages =        {266-281},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer-Verlag},
  volume =       {3441},  
  note =	 {Full version to appear in Theoretical Computer Science},
  url = 	 {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/fossacs05.pdf}
}

@InProceedings{HJ04:PatternMatching,
  author = 	 {C. Haack and A. S. A. Jeffrey},
  title = 	 {Pattern-Matching Spi-Calculus},
  booktitle =	 {Proc. {IFIP WG 1.7} Workshop on Formal Aspects in Security and Trust},
  year =	 {2004},
  note =	 {Full version appeared in Information and Computation 204(8)},
  url = 	 {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/fast04.pdf}
}

@Article{JR05:FullyAbstract,
  author = 	 {A. S. A. Jeffrey and J. Rathke},
  title = 	 {A Fully Abstract May Testing Semantics for Concurrent Objects},
  journal = 	 {Theoretical Computer Science},
  year = 	 {2005},
  volume =       {338},
  pages =        {17-63},
  url =          {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/tcs05.pdf}
}

@InProceedings{BJJR04:muABC,
  author = 	 {G. Bruns and R. Jagadeesan and A. S. A. Jeffrey and J. Riely},
  title = 	 {{muABC}: A Minimal Aspect Calculus},
  booktitle =	 {Proc. Concur},
  year =        "2004",
  pages =       "209--224",
  publisher =   "Springer-Verlag",
  volume =        "3170",
  series = "Lecture Notes in Computer Science",
  url =         {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/concur04.pdf}

}

@Article{GJ04:TypesEffects,
  author = 	 {A. D. Gordon and A. S. A. Jeffrey},
  title = 	 {Types and Effects for Asymmetric Cryptographic Protocols},
  journal = 	 {J. Computer Security},
  year = 	 {2004},
  volume =       {12},
  number =       {3/4},
  pages =        {435-484},
  url = 	 {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/jcs04.pdf}
}

@Article{JR04:TheoryBisimulation,
  author = 	 {A. S. A. Jeffrey and J. Rathke},
  title = 	 {A Theory of Bisimulation for a Fragment of Concurrent {ML} with Local Names},
  journal = 	 {Theoretical Computer Science},
  year = 	 {2004},
  volume =       {323},
  pages =        {1-48},
  url = 	 {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/tcs04.pdf}
}

@Article{GJ03:TypesEffects,
  author = 	 {A. D. Gordon and A. S. A. Jeffrey},
  title = 	 {Authenticity by Typing for Security Protocols},
  journal = 	 {J. Computer Security},
  year = 	 {2003},
  volume =       {11},
  number =       {4},
  pages =        {451-521},
  url = 	 {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/jcs03.pdf}
}

@Article{GJ03:TypingCorrespondence,
  author = 	 {A. D. Gordon and A. S. A. Jeffrey},
  title = 	 {Typing Correspondence Assertions for Communication Protocols},
  journal = 	 {Theoretical Computer Science},
  year = 	 {2003},
  volume =	 {300},
  pages =	 {379-409},
  url = 	 {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/tcs03.pdf}
}


@Article{WJOP01:SafetyNet,
  author = 	 {I. Wakeman and A. S. A. Jeffrey and T. Owen and D. Pepper},
  title = 	 {SafetyNet: A Language-Based Approach to Programmable Networks},
  journal = 	 {Computer Networks and ISDN Systems},
  year = 	 {2001},
  volume =	 {36},
  number =	 {1}
}


@InProceedings{JJR03:CalculusUntyped,
  author = 	 {R. Jagadeesan and A. S. A. Jeffrey and J. Riely},
  title = 	 {A Calculus of Untyped Aspect-Oriented Programs},
  booktitle =	 {Proc. European Conf. Object-Oriented Programming},
  pages =	 {415--427},
  year =	 {2003},
  volume =	 {1853},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer-Verlag},
  url = 	 {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/ecoop03.pdf}
}


@InProceedings{JR03:ContextualEquivalence,
  author = 	 {A. S. A. Jeffrey and J. Rathke},
  title = 	 {Contextual Equivalence for Higher-Order Pi-Calculus Revisited},
  booktitle =	 {Proc. Mathematical Foundations of Programming Semantics},
  year =	 {2003},
  series =	 {Electronic Notes in Theoretical Computer Science},
  publisher =	 {Elsevier},
  note = {Full version appeared in Logical Methods in Computer Science 1 (1:4)},
  url = 	 {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/mfps03.pdf}
}

@InProceedings{GJ02:TypesEffects,
  author = 	 {A. D. Gordon and A. S. A. Jeffrey},
  title = 	 {Types and Effects for Asymmetric Cryptographic Protocols},
  booktitle =	 {Proc. IEEE Computer Security Foundations Workshop},
  pages =	 {77-91},
  year =	 {2002},
  publisher =	 {IEEE Press},
  note =	 {Full version appeared in J.~Computer Security 12(3/4)},
  url = 	 {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/csfw02.pdf}
}

@InProceedings{GJ02:TypingOneToOne,
  author = 	 {A. D. Gordon and A. S. A. Jeffrey},
  title = 	 {Typing One-to-One and One-to-Many Correspondences in Security Protocols},
  booktitle =	 {Proc. Int. Software Security Symp.},
  pages =	 {263-282},
  year =	 {2002},
  volume =	 {2609},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer-Verlag},
  url = 	 {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/isss02.pdf}
}

@InProceedings{JR02:FullyAbstract,
  author = 	 {A. S. A. Jeffrey and J. Rathke},
  title = 	 {A Fully Abstract May Testing Semantics for Concurrent Objects},
  booktitle =	 {Proc. IEEE Logic In Computer Science},
  pages =	 {101-112},
  year =	 {2002},
  publisher =	 {IEEE Press},
  note =	 {Full version appeared in Theoretical Computer Science 338},
  url = 	 {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/lics02.pdf}
}

@InProceedings{Jef01:SymbolicLablled,
  author = 	 {A. S. A. Jeffrey},
  title = 	 {A Symbolic Labelled Transition System for Coinductive Subytping of F-mu-sub Types},
  booktitle = 	 {Proc. IEEE Logic in Computer Science},
  year =	 {2001},
  pages =	 {323-333},
  publisher =	 {IEEE Press}, 
  url =          {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/lics01.pdf}
}

@InProceedings{GJ01:AuthenticityTyping,
  author = 	 {A. D. Gordon and A. S. A. Jeffrey},
  title = 	 {Authenticity by Typing for Security Protocols},
  booktitle = 	 {Proc. IEEE Computer Security Foundations Workshop},
  year =	 {2001},
  pages =	 {145-159},
  publisher =	 {IEEE Press}, 
  note =	 {Full version appeared in J.~Computer Security 11(4)},
  url =          {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/csfw01.pdf}
}

@InProceedings{GJ01:TypingCorrespondence,
  author = 	 {A. D. Gordon and A. S. A. Jeffrey},
  title = 	 {Typing Correspondence Assertions for Communication Protocols},
  booktitle =    {Proc. Mathematical Foundations of Programming Semantics},
  publisher =    {Elsevier},
  series =       {Electronic Notes in Computer Science},
  note =	 {Full version appeared in Theoretical Computer Science 300},
  url =          {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/mfps01.pdf},
  year =	 {2001}
}

@InProceedings{JR00:TheoryBisimulation,
  author = 	 "A. S. A. Jeffrey and J. Rathke",
  title = 	 "A Theory of Bisimulation for a Fragment of Concurrent {ML} with Local Names",
  booktitle =    "Proc. IEEE Logic in Computer Science",
  publisher =    "IEEE Press",
  year =	 "2000",
  pages =        "311-321",
  note =         "Full version appeared in Theoretical Computer Science 323",
  url =          "papers/lics00.pdf"
}

@InProceedings{WJO00:LanguageBased,
  author = 	 {I. Wakeman and A. S. A. Jeffrey and T. Owen},
  title = 	 {A Language-Based Approach to Programmable Networks},
  booktitle =	 {Proc. IEEE Open Architectures and Network Programming},
  pages =	 {128-138},
  year =	 {2000},
  note =         {Full version appeared in Computer Networks and ISDN Systems 36(1)},
  publisher =	 {IEEE Press},
  url =          {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/openarch00.pdf}
}

@InProceedings{Jef00:DistributedObject,
  author = 	 "A. S. A. Jeffrey",
  title = 	 "A Distributed Object Calculus",
  booktitle = "Proc. Foundations of Object Oriented Languages",
  year =	 2000,
  url =          "papers/fool00.pdf"
}

@Article{Jef99:FullyAbstractNondeterministic,
  author =       "A. S. A. Jeffrey",
  title =        "A Fully Abstract Semantics for a Nondeterministic
                  Functional Language with Monadic Types",
  journal =      "Theoretical Computer Science",
  year =         "1999",
  url =          "papers/tcs99.pdf",
  volume =       "228",
  pages =        "105-150"
}

@Article{FHJ98:TheoryBisimulation,
  author =	 "W. Ferreira and M. Hennessy and A. S. A. Jeffrey",
  title =        "A Theory of Weak Bisimulation for Core {CML}",
  journal =      "J. Functional Programming",
  year =         "1998",
  url =          "papers/jfp98.pdf",
  volume = "8",
  number = "5",
  pages = "447-491"
}

@Inproceedings{SJ99:CompilationHigherOrder,
  author = "R. Schweimeier and A. S. A. Jeffrey",
  title = "Compilation of Higher-Order Languages in Graphical Form",
  booktitle = "Proc. Mathemtical Foundations of Programming Semantics",
  year = "1999",
  publisher = "Elsevier",
  series =       "Electronic Notes in Computer Science",
  url = "papers/mfps99.pdf"
}

@InProceedings{JR99:TowardsTheory,
  author = "A. S. A. Jeffrey and J. Rathke",
  title = "Towards a Theory of Bisimulation for Local Names",
  booktitle = "Proc. IEEE Logic in Computer Science",
  publisher = "IEEE Press",
  year = "1999",
  pages = "56--66",
  url = "papers/lics99.pdf"
}

@InCollection{FHJ00:CombiningTyped,
  author =	 "W. Ferreira and M. Hennessy and A. S. A. Jeffrey",
  title =	 "Combining the Typed Lambda-Calculus with {CCS}",
  year =	 "2000",
  booktitle =	 "Proof, Language and Interaction: Essays in Honour of
                  Robin Milner",
  editor =	 "G. Plotkin and C. Stirling and M. Tofte",
  publisher =	 "MIT Press",
  url =          "papers/fest00.pdf"
}

@TechReport{Jef98:FlowGraphs,
  author = 	 {A. S. A. Jeffrey},
  title = 	 {Flow Graphs and Semantics of Programs},
  institution =  {CTI, DePaul University},
  year = 	 {1998},
  type =	 {Technical Report},
  number =	 {98-004},
  url =          {http://cm.bell-labs.com/cm/cs/who/ajeffrey/premon/}
}

@InProceedings{Jef97:SemanticsCore,
  author =       "A. S. A. Jeffrey",
  title =        "Semantics for Core Concurrent {ML} Using Computation
                  Types",
  editor =       "A. D. Gordon and A. J. Pitts",
  booktitle =    "Proc. Higher Order Operational Techniques in Semantics",
  year =         "1997",
  pages =         "55-89",
  publisher =	 "Cambridge University Press",
  url =          "papers/hoots97.pdf"
}

@Manual{Jef96:Fontinst,
  title = 	 {Fontinst: Font Installation Software for TeX},
  author =	 {A. S. A. Jeffrey and others},
  year =	 {1996},
   url = "papers/fontinst.pdf"
}

@InProceedings{FHJ96:TheoryBisimulation96,
  author = 	 {W. Ferreira and M. Hennessy and A.S.A. Jeffrey},
  title = 	 {A Theory of Weak Bisimulation for Core {CML}},
  booktitle = 	 {Proc. ACM Int. Conf. Functional Programming},
  pages =	 {201-212},
  year =	 {1996},
  publisher =	 {ACM Press},
  note =	 {Full version has appeared in J. Functional Programming 8(5)}
}

@Unpublished{Jef96:CoreData,
  author =       "A. S. A. Jeffrey",
  title =        "A Core Data and Behaviour Language for {E-LOTOS}",
  url =          "papers/kansasin.pdf",
  note =         "Input document to ISO SC21 Kansas meeting",
  year =         "1996"
}


@Unpublished{JG96:ELOTOSCore,
  author =       "A. S. A. Jeffrey and G. Leduc",
  title =        "{E-LOTOS} Core Language",
  url =          "papers/kansasout.pdf",
  note =         "Output document from ISO SC21 Kansas meeting",
  year =         "1996"
}

@InProceedings{Jef95:FullyAbstractConcurrent,
  author =       "A. S. A. Jeffrey",
  title =        "A Fully Abstract Semantics for a Concurrent
                  Functional Language with Monadic Types",
  pages =        "255--264",
  booktitle =    "Proc. IEEE Logic in Computer Science",
  publisher =    "IEEE Press",
  url =          "papers/lics95.pdf",
  year =         "1995"
}

@InProceedings{Jef95:FullyAbstractNondeterministic,
  author =       "A. S. A. Jeffrey",
  title =        "A Fully Abstract Semantics for a Nondeterministic
                  Functional Language with Monadic Types",
  booktitle =    "Proc. Mathematical Foundations of Programming Semantics",
  year =         "1995",
  url =          "papers/mfps95.pdf",
  series =       "Electronic Notes in Computer Science",
  note =         "Full version has appeared in Theoretical Computer Science 228",
  publisher =    "Elsevier"
}

@InCollection{Jef95:SemanticsFragment,
  author =       "A. S. A. Jeffrey",
  title =        "Semantics for a Fragment of {LOTOS} with Functional
                  Data and Abstract Datatypes", 
  url =          "papers/liegein.pdf",
  booktitle =    "Revised Working Draft on Enhancements to {LOTOS} (v3)",
  series =       "{ISO/IEC JTC1/SC21/WG7 N1053}",
  year =         "1995",
  publisher =   "International Standards Organization",
  chapter =      "Annexe {A}"
}

@InCollection{JGLPS:TowardsProposal95,
  author =       "A. S. A. Jeffrey and H. Garavel and G. Leduc and
                  C. Pecheur and M. Sighireanu",
  title =        "Towards a Proposal for Datatypes in {E-LOTOS}",
  url =          "papers/ottawaout.pdf",
  booktitle =    "Revised Working Draft on Enhancements to {LOTOS} (v2)",
  publisher =    "International Standards Organization",
  series =       "{ISO/IEC JTC1/SC21/WG7 N1053}",
  year =         "1995",
  chapter =      "Annexe {A}"
}

@Article{AJ95:CompleteAxiomatization,
  author =       "L. Aceto and A. S. A. Jeffrey",
  title =        "A Complete Axiomatization of Timed Bisimulation for
                  a Class of Timed Regular Behaviours",
  url =          "papers/tcs95.pdf",
  journal =      "Theoretical Computer Science",
  year =         "1995",
  volume =       "152",
  pages =        "251--268"
}

@InProceedings{BJ94:AllegoriesCircuits,
  author =       "C. Brown and A. S. A. Jeffrey",
  title =        "Allegories of Circuits",
  url =          "papers/lfcs94.pdf",
  booktitle =    "Proc. Logical Foundations of Computer Science",
  year =         "1994",
  editor = "A. Nerode and Yu. V. Matiyasevich",
  series = "Lecture Notes in Computer Science",
  volume = "813",
  publisher = "Springer-Verlag",
  pages = "56-68"
}

@InProceedings{Jef94:FullyAbstract,
  author =       "A. S. A. Jeffrey",
  title =        "A Fully Abstract Semantics for Concurrent Graph
                  Reduction",
  booktitle =    "Proc. IEEE Logic in Computer Science",
  publisher =    "IEEE Press",
  year =         "1994",
  pages =        "82-91",
  url =          "papers/lics94.pdf"
}

@Manual{BCJFRS95:LaTeX2eAuthors,
  title = 	 {LaTeX2e for Authors},
  author =	 {J. Brahms and D. Carlisle and A. S. A. Jeffrey 
                  and F. Mittelbach and C. Rowley and and R. Sch\"opf},
  organization = {The LaTeX3 Project},
  year =	 {1995},
  url = "papers/usrguide.pdf"
}

@Manual{BCJFRS95:LaTeX2eClass,
  title = 	 {LaTeX2e for Class and Package Writers},
  author =	 {J. Brahms and D. Carlisle and A. S. A. Jeffrey 
                  and F. Mittelbach and C. Rowley and and R. Sch\"opf},
  organization = {The LaTeX3 Project},
  year =	 {1995},
  url = "papers/clsguide.pdf"
}

@Conference{Jef94:PostScriptFonts,
  author = 	 {A. S. A. Jeffrey},
  title = 	 {PostScript Fonts in LaTeX},
  booktitle = 	 {Proc. TeX Users Group AGM},
  pages =	 {263--268},
  year =	 {1994},
  number =	 {15(3)},
  series =	 {TUGboat},
  url =          {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/ajtug94.pdf}
}

@Conference{Jef93:PostScriptFont,
  author = 	 {A. S. A. Jeffrey},
  title = 	 {A PostScript Font Installation Package Written in TeX},
  booktitle = 	 {Proc. TeX Users Group AGM},
  pages =	 {285--292},
  year =	 {1993},
  number =	 {14(3)},
  series =	 {TUGboat},
  url =          {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/asajtug93.pdf}
}

@TechReport{Jef93:TypedPrioritized,
  author = 	 {A. S. A. Jeffrey},
  title = 	 {A typed, prioritized process algebra},
  institution =  {University of Sussex},
  year = 	 {1993},
  type =	 {Computer Science Technical Report},
  number =	 {13/93},
   url = "papers/cs1393.pdf"
}

@TechReport{JSV93:ComparisonAdditivity,
  author = 	 {A. S. A. Jeffrey and S. A. Schneider and F. Vaandrager},
  title = 	 {A Comparison of Additivity Axioms in Timed Transition Systems},
  institution =  {University of Sussex},
  year = 	 {1993},
  type =	 {Computer Science Technical Report},
  number =	 {11/93},
  url = "papers/cs1193.pdf"
}

@InProceedings{Jef93:ChemicalAbstract,
  author = 	 {A. S. A. Jeffrey},
  title = 	 {A Chemical Abstract Machine for Graph Reduction},
  booktitle =	 {Proc. Mathematical Foundations of Programming Semantics},
  pages =	 {293-303},
  year =	 {1993},
  volume =	 {802},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer-Verlag},
  url =          {http://cm.bell-labs.com/cm/cs/who/ajeffrey/papers/mfps93.pdf}
}

@InProceedings{Jef92:TranslatingTimed,
  author =      "A. S. A. Jeffrey",
  title =       "Translating Timed Process Algebra into Prioritized
                 Process Algebra",
  booktitle =   "Proc. Formal Techniques in Real-Time and
                 Fault-Tolerant systems",
  year =        "1992",
  editor =      "J. Vytopil",
  series = "Lecture Notes in Computer Science",
  publisher = "Springer-Verlag",
  volume = "571",
  pages = "493-506"
}

@InProceedings{Jef91:AbstractTimed,
  author =      "A. S. A. Jeffrey",
  title =       "Abstract Timed Observation and Process Algebra",
  booktitle =   "Proc. Concur",
  year =        "1991",
  editor =      "J. C. M. Baeten and J. F. Groote",
  pages =       "332--345",
  publisher =   "Springer-Verlag",
  volume =        "527",
  series = "Lecture Notes in Computer Science"
}

@InProceedings{Jef91:LinearTime,
  author =      "A. S. A. Jeffrey",
  title =       "A Linear Time Process Algebra",
  booktitle =   "Proc. Computer Aided Verification",
  year =        "1991",
  editor =      "Kim G. Larsen and Arne Skou",
  pages =       "432--442",
  publisher =   "Springer-Verlag",
  volume =      "575",
  series = "Lecture Notes in Computer Science"
}

@PhDThesis{Jef92:ObservationSpaces,
  author =      "A. S. A. Jeffrey",
  title =       "Observation Spaces and Timed Processes",
  school =      "Oxford University",
  year =        "1992",
  type =        "{D.Phil} thesis",
  note =        "Available as technical report {PMG-R64} from the
                 Programming Methodology Group, Chalmers University."
}