@InProceedings{StoughtonA:efa,
  author = "A. Stoughton",
  title = "Equationally Fully Abstract Models of {PCF}",
  booktitle = "Fifth International Conference on the Mathematical
               Foundations of Programming Semantics",
  year = 1990,
  editor = "M. Main and A. Melton and M. Mislove and D. Schmidt",
  pages = "271--283",
  series = "Lecture Notes in Computer Science",
  volume = 442,
  publisher = "Springer-Verlag"
}

@InProceedings{StoughtonA:forlan1,
  author =       {A. Stoughton},
  title =        {Experimenting with Formal Languages},
  booktitle =    {Thirty-sixth {ACM} {SIGCSE} Technical Symposium on Computer
                  Science Education},
  pages =        {566},
  year =         2005,
  publisher =    acm
}

@inproceedings{StoughtonA:forlan2,
 author = {Alley Stoughton},
 title = {Experimenting with formal languages using forlan},
 booktitle = {FDPE '08: Proceedings of the 2008 International Workshop on Functional and Declarative Programming in Education},
 year = {2008},
 isbn = {978-1-60558-068-5},
 pages = {41--50},
 location = {Victoria, BC, Canada},
 doi = {http://doi.acm.org/10.1145/1411260.1411267},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@Book{StoughtonA:famopl,
  author = "A. Stoughton",
  title = "Fully Abstract Models of Programming Languages",
  publisher = "Pitman/Wiley",
  year = 1988,
  pages = 123,
  series = "Research Notes in Theoretical Computer Science"
}
                  
@InProceedings{Haack:autoadapt,
  author = {C. Haack and B. Howard and A. Stoughton and
            J. B. Wells},
  title = {Fully Automatic Adaptation of Software Components Based on
           Semantic Specifications},
  booktitle = {AMAST '02: Proceedings of the 9th International Conference on
               Algebraic Methodology and Software Technology},
  year = {2002},
  isbn = {3-540-44144-1},
  pages = {83--98},
  publisher = {Springer-Verlag},
  address = {London, UK},
}

@inproceedings{StoughtonA:func-mvc,
 author = {A. Stoughton},
 title = {A functional model-view-controller software architecture for command-oriented programs},
 booktitle = {WGP '08: Proceedings of the ACM SIGPLAN Workshop on Generic Programming},
 year = {2008},
 isbn = {978-1-60558-060-9},
 pages = {1--12},
 location = {Victoria, BC, Canada},
 doi = {http://doi.acm.org/10.1145/1411318.1411320},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@InProceedings{StoughtonA:pretty,
 title={Infinite Pretty-printing in {eXene}},
 author={A. Stoughton},
 pages={13--24},
 booktitle={Trends in Functional Programming},
 volume={3},
 editor={Kevin Hammond and Sharon Curtis},
 publisher={Intellect},
 address={Bristol, UK},
 year={2002}
}

@Article{StoughtonA:por,
  author = "A. Stoughton",
  title = "Interdefinability of Parallel Operations in {PCF}",
  journal = "Theoretical Computer Science",
  year = 1991,
  volume = 79,
  pages = "357--358"
}

@InProceedings{StoughtonA:logrel,
  author = "A. Stoughton",
  title = "Mechanizing Logical Relations",
  editor = "S. Brookes and M. Main and A. Melton and M. Mislove
            and D. Schmidt",
  booktitle = "Ninth International Conference on the Mathematical
               Foundations of Programming Semantics",
  year = 1994,
  series = "Lecture Notes in Computer Science",
  volume = 802,
  publisher = "Springer-Verlag",
  pages = "359--377"
}

@InProceedings{StoughtonA:dops,
  author = {A. Stoughton},
  title = {An Operational Semantics Framework Supporting the Incremental
           Construction of Derivation Trees},
  booktitle = {Second Workshop on Higher-Order Operational Techniques in
               Semantics (HOOTS~II)},
  year = 1998,
  editor = {A. Gordon and A. Pitts and C. Talcott},
  volume = 10,
  series = {Electronic Notes in Theoretical Computer Science},
  publisher = {Elsevier Science B. V.
}

@InProceedings{StoughtonA:ppcf,
  author = "A. Stoughton",
  title = "Parallel {PCF} has a Unique Extensional Model",
  booktitle = "Sixth Annual IEEE Symposium on Logic in Computer Science",
  year = 1991,
  pages = "146--151",
  publisher = "IEEE"
}

@InProceedings{StoughtonA:porgi,
  author = "A. Stoughton",
  title = "Porgi: a {P}roof-{O}r-{R}efutation {G}enerator for {I}ntuitionistic
           propositional logic",
  booktitle = "CADE-13 Workshop on Proof Search in Type-Theoretic Languages",
  year = 1996,
  location = "Rutgers University",
  month = "July",
  pages = "109--116"
}

@InProceedings{StoughtonA:within,
  author = "A. Jung and A. Stoughton",
  title = "Studying the Fully Abstract Model of {PCF} within its Continuous
           Function Model",
  booktitle = "International Conference on Typed Lambda Calculi and
               Applications",
  series = "Lecture Notes in Computer Science",
  volume = 664,
  year = 1993,
  editor = "M. Bezem and J. F. Groote",
  publisher = "Springer-Verlag",
  pages = "230--244"
}

@Article{StoughtonA:subst,
  author = "A. Stoughton",
  title = "Substitution Revisited",
  journal = "Theoretical Computer Science",
  year = 1988,
  volume = 59,
  pages = "317--325"
}