@inproceedings{1017485,
  author    = {Arthur I. Baars and S. Doaitse Swierstra},
  title     = {Type-safe, self inspecting code},
  booktitle = {Proceedings of the ACM SIGPLAN workshop on Haskell},
  year      = {2004},
  isbn      = {1-58113-850-4},
  pages     = {69--79},
  location  = {Snowbird, Utah, USA},
  doi       = {http://doi.acm.org/10.1145/1017472.1017485},
  publisher = {ACM Press},
  pubcat    = {inproceedings},
  urlpdf    = {http://www.cs.uu.nl/people/doaitse/papers/2003/TypeSafeSelfInspecting.pdf},
}

@techreport{2004-025a,
  author     = {S. Doaitse Swierstra},
  title      = {Linear, Online, Functional Pretty Printing (corrected and extended version},
  insitution = {Department of Computer Science, Utrecht University},
  year       = {2004},
  type       = {UU-CS},
  number     = {2004-025a},
  urlpdf     = {http://www.cs.uu.nl/pub/RUU/CS/techreps/CS-2004/2004-025a.pdf},
  pubcat     = {techreport},
  note       = {under consideration for JFP},
}

@techreport{2004-037,
  author     = {Atze Dijkstra and S. Doaitse Swierstra},
  title      = {Typing Haskell with an Attribute Grammar},
  insitution = {Department of Computer Science, Utrecht University},
  year       = {2004},
  type       = {UU-CS},
  number     = {2004-0037},
  urlpdf     = {http://www.cs.uu.nl/pub/RUU/CS/techreps/CS-2004/2004-037.pdf},
  pubcat     = {techreport},
  note       = {Lecture Notes of the summer school on Advanced Functional Programming 2005 (AFP05)},
}

@techreport{2004-059,
  author     = {Atze Dijkstra and S. Doaitse Swierstra},
  title      = {Explicit Implicit Parameters},
  insitution = {Department of Computer Science, Utrecht University},
  year       = {2004},
  type       = {UU-CS},
  number     = {2004-059},
  urlpdf     = {http://www.cs.uu.nl/pub/RUU/CS/techreps/CS-2004/2004-059.pdf},
  pubcat     = {techreport},
  note       = {submitted for publication},
}

@inproceedings{504181,
  author    = {A. H. Uittenbogaard and P. J. A. Lentfert and S. D. Swierstra},
  title     = {Smart cabling: an overview},
  booktitle = {Proceedings of the 4th workshop on ACM SIGOPS European workshop},
  year      = {1990},
  pages     = {1--5},
  location  = {Bologna, Italy},
  doi       = {http://doi.acm.org/10.1145/504136.504181},
  publisher = {ACM Press},
}

@book{AFP3,
  author    = {Swierstra, D. and Henriques, P. and Oliveira, J.},
  title     = {Advanced Functional programming, Third International School, AFP'98},
  publisher = {Springer},
  year      = {1999},
  isbn      = {9 783540 662419},
  series    = {LNCS},
  number    = {1608},
}

@techreport{APEmbedSurvey02,
  author      = {Azurat, A. and Prasetya, I.S.W.B.},
  year        = 2002,
  title       = {A Survey on Embedding Programming Logics in a Theorem Prover},
  number      = {UU-CS-2002-007},
  note        = {Download: {\tt www.cs.uu.nl/staff/wishnu.html}.},
  institution = {Inst. of Information and Comp. Science, Utrecht Univ.},
  url         = {{http://www.cs.uu.nl/research/techreps/aut/wishnu.html}},
  urlpdf      = {{http://archive.cs.uu.nl/pub/RUU/CS/techreps/CS-2002/2002-007.pdf}},
  pubcat      = {techreport},
}

@article{AtkHeeSwi76,
  author  = {Atkinson, A., and Heemskerk, A.C. and Swierstra, S.D.,},
  title   = {Construction of a Unitary Scattering Amplitude},
  journal = {Nuclear Physics},
  volume  = B109,
  year    = 1976,
}

@misc{AzerSwie98,
  author       = {Azero, P. and Swierstra, S. D.},
  title        = {Optimal Pretty-Printing Combinators},
  howpublished = {{Available from: {\tt http://www.cs.ruu.nl/groups/ST/Software/PP/}}},
  month        = apr,
  year         = 1998,
  note         = {},
}

@inproceedings{BaLoSw01,
  author    = {Arthur I. Baars and L\"oh, A. and S. Doaitse Swierstra},
  title     = {Parsing permutation phrases},
  series    = {Eletronic Notes in Theoretical Computer Science},
  volume    = {59},
  year      = {2001},
  publisher = {ACM Press},
  note      = {Also appeared in the preliminary proceedings, Technical Report of Universiteit Utrecht, UU-CS-2001-23},
}

@article{BaLoSw04,
  year    = {2004},
  author  = {Arthur I. Baars and Andres L\"oh and S. Doaitse Swierstra},
  title   = {Parsing Permutation Phrases},
  journal = {14},
  volume  = {6},
  month   = {November},
  urlpdf  = {http://www.cs.uu.nl/people/doaitse/papers/2004/perms.pdf},
  pubcat  = {journal},
}

@inproceedings{BaSw02,
  author    = {Baars, Arthur~I. and Swierstra, S.~Doaitse},
  title     = {Typing dynamic typing},
  booktitle = {Proceedings of the seventh ACM SIGPLAN international conference on Functional programming},
  editor    = {Peyton Jones, S.},
  year      = {2002},
  isbn      = {1-58113-487-8},
  pages     = {157--166},
  location  = {Pittsburgh, PA, USA},
  doi       = {http://doi.acm.org/10.1145/581478.581494},
  publisher = {ACM Press},
}

@article{BronDijkSwie82,
  author  = {Bron, C. and Dijkstra, E.J. and Swierstra, S.D.},
  title   = {A Memory-Management Unit for the Optimal Exploitation of a Small Address Space},
  journal = {Information Processing Letters},
  volume  = 15,
  number  = 1,
  pages   = {20--22},
  year    = 1982,
}

@techreport{DijkstaSchrageSwi99,
  author     = {Atze Dijkstra and Martijn Schrage and Doaitse Swierstra},
  title      = {SKIT, An Open Architecture for Courseware Authoring},
  insitution = {Department of Computer Science, Utrecht University},
  year       = {1999},
  type       = {UU-CS},
  number     = {1999-26},
  note       = {http://fairway.ecn.purdue.edu/~fie/fie99/pages/index.htm},
}

@proceedings{ESOP99,
  editor    = {S. Doaitse Swierstra},
  title     = {ESOP99: European Symposium on Programming},
  publisher = Springer-Verlag,
  series    = {LNCS},
  volume    = {1576},
  year      = {1999},
}

@inproceedings{FlLiDijOoSw92,
  author    = {Florijn, G. H. and Lippe, E. and Dijkstra, A. and van Oosterom, N. and Swierstra, S. D.},
  title     = {Camera: Cooperation in Open Distributed Environments},
  booktitle = {Proceedings of the European/Usenix Spring Workshop,Jersey},
  year      = {1992},
  note      = {},
}

@inproceedings{func:lazy:java:parser-combinator,
  title     = {{Lazy Functional Parser Combinators in Java}},
  author    = {Dijkstra, A. and Swierstra, S. D.},
  booktitle = {Proceedings of 1st Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL)},
  pages     = {11-42},
  publisher = {John von Neumann Institute for Computing},
  year      = {2001},
  url       = {http://www.cs.uu.nl/pub/RUU/CS/techreps/CS-2001/2001-018.pdf},
}

@techreport{HeeHagSwi2002-31,
  author      = {Heeren, B.J. and Hage, J. and Swierstra, S.D.},
  title       = {Generalizing Hindley-Milner Type Inference Algorithms},
  institution = {Department of Computer Science, Utrecht University},
  year        = {2002},
  type        = {UU-CS},
  number      = {2002-31},
  url         = {http://www.cs.uu.nl/pub/RUU/CS/techreps/CS-2002/2002-031.pdf},
}

@techreport{heeren2002improving,
  title       = {Improving type-error messages in functional languages},
  author      = {Bastiaan Heeren and Johan Jeuring and S. Doaitse Swierstra and Pablo Azero Alcocer},
  month       = {February},
  year        = {2002},
  institution = {Institute of Information and Computing Science},
  address     = {University Utrecht, Netherlands},
  note        = {Technical Report},
  number      = {UU-CS-2002-009},
  pubcat      = {techreport},
}

@inproceedings{HHS:constraint,
  author    = {Bastiaan Heeren and Jurriaan Hage and S. Doaitse Swierstra},
  title     = {Constraint based type inferencing in {H}elium},
  month     = {September},
  year      = {2003},
  editor    = {M.-C.~Silaghi and M.~Zanker},
  pages     = {59 -- 80},
  booktitle = {Workshop Proceedings of Immediate Applications of Constraint Programming},
  address   = {Cork},
  pubcat    = {workshop},
  notes     = {Based on \cite{heeren2002parametric} and \cite{heeren2002generalizing}},
}

@inproceedings{HHS:scripting,
  author    = {Bastiaan Heeren and Jurriaan Hage and S. Doaitse Swierstra},
  title     = {Scripting the type inference process},
  booktitle = {Eighth ACM Sigplan International Conference on Functional Programming},
  year      = {2003},
  publisher = {ACM Press},
  address   = {New York},
  pages     = {3 -- 13},
  pubcat    = {conference},
}

@inproceedings{HughSwi2003,
  author    = {Hughes, R.J.M. and Swierstra, S.D.},
  title     = {Polish Parsers, Step by Step},
  booktitle = {Eighth ACM Sigplan International Conference on Functional Programming},
  year      = {2003},
  month     = {August},
  publisher = {ACM Press},
  address   = {New York},
  pages     = {239--248},
  urlpdf    = {http://www.cs.uu.nl/people/doaitse/papers/p224-swierstra},
  pubcat    = {conference},
}

@inproceedings{jeuringswierstra94,
  author    = {Jeuring, Johan and Swierstra, S. Doaitse},
  title     = {Bottom-up grammar analysis --- a functional formulation ---},
  booktitle = {Proceedings Programming Languages and Systems, ESOP'94},
  editor    = {Sannella, Donald},
  publisher = {Springer-{V}erlag},
  series    = {LNCS},
  volume    = 788,
  pages     = {317--332},
  year      = 1994,
}

@inproceedings{jeuringswierstra95,
  title     = {Constructing functional programs for grammar analysis problems},
  author    = {Jeuring, Johan and Swierstra, S. Doaitse},
  year      = {1995},
  pages     = {259--269},
  booktitle = {Conference Record of {FPCA} '95, {SIGPLAN-SIGARCH-WG}2.8 {C}onference on {F}unctional {P}rogramming {L}anguages and {C}omputer {A}rchitecture},
}

@inproceedings{jeuringswierstra99,
  title     = {Advanced programming concepts in a course on grammars and parsing},
  author    = {Jeuring, Johan and Swierstra, S. Doaitse},
  booktitle = {Proceedings Workshop on Functional and Declarative Programming in Education, FDPE'99},
  editor    = {Felleisen, M. and Hanus, M. and Thompson, S.},
  pages     = {7--12},
  note      = {Rice COMP TR99-346},
  year      = {1999},
}

@techreport{KuipSwie86,
  author      = {Kuiper, M. F. and Swierstra, S. D.},
  title       = {Using Attribute grammars to derive Efficient Functional Programs},
  institution = {Department of Computer Science},
  year        = {1986},
  number      = {86-16},
  type        = {RUU-CS},
}

@inproceedings{KuipSwie87,
  author    = {Kuiper, M. F. and Swierstra, S. D.},
  title     = {Using Attribute Grammars to Derive Efficient Functional Programs},
  booktitle = {Computing Science in the Netherlands CSN'87},
  year      = {1987},
  month     = nov,
  url       = {{ftp://ftp.cs.ruu.nl/pub/RUU/CS/techreps/CS-1986/1986-16.ps.gz}},
}

@inproceedings{KuipSwie88,
  author       = {Kuiper, M. F. and Swierstra, S. D.},
  title        = {Increasing Parallelism in Attribute Grammar Evaluators: Transformations and Lazy Evaluations},
  booktitle    = {Computing Science in the Netherlands},
  organization = {SION},
  year         = {1988},
  publisher    = {SION},
  pages        = {109-121},
}

@inproceedings{KuipSwie90,
  author       = {Matthijs F. Kuiper and S. Doaitse Swierstra},
  title        = {Parallel attribute evaluation: stucture of evaluators and detection of parallelism},
  booktitle    = {Attribute grammars and their Aplication},
  organization = {INRIA},
  year         = {1990},
  editor       = {P Deransart and M. Jourdan},
  publisher    = {Springer-Verlag},
  pages        = {61-75},
}

@techreport{LentSwie92a,
  author      = {Lentfert, P. J. A. and S. D. Swierstra},
  title       = {Towards the Formal Design of Self-Stabilizing Distributed Algorithms},
  institution = {Utrecht University},
  year        = {1992},
  month       = {August},
  number      = {RUU-CS-92-25},
  note        = {Also in: J.L.G.\ Dietz (Ed). {\it Proceedings CSN92.} Utrecht, November 4--5, 1992.},
}

@inproceedings{LentSwie93,
  author    = {Lentfert, P. J. A. and Swierstra, S. D.},
  title     = {Towards the Formal Design of Self-Stabilising Distributed Algorithms},
  booktitle = {STACS 93, Proceedings of the 10th Annual Symposium on Theretical Aspects of Computer Science},
  year      = {1993},
  month     = {February},
  editor    = {P. Enjalbert and A. Finkel and K.W. Wagner},
  pages     = {440-451},
  volume    = {665},
  series    = {LNCS},
}

@article{LentSwie93b,
  author  = {Lentfert, P. J. A. and Swierstra, S. D.},
  title   = {Distributed Maximum Maintenance on Hierarchically Divided Graphs},
  journal = {Formal Aspects of Computing},
  year    = {1993},
  volume  = {5},
  number  = {1},
  pages   = {21-60},
}

@techreport{LentSwieUitt90a,
  author      = {Lentfert, P. J. A. and Swierstra, S. D. and Uittenbogaard, A. H.},
  title       = {Distributed incremental maximum finding in hierarchically divided graphs},
  institution = {Department of Computer Science},
  year        = {1990},
  address     = {P.O.Box 80.089, 3508 TB UTRECHT, the Netherlands},
  number      = {90-30},
  type        = {RUU-CS},
}

@techreport{LUST89,
  author      = {P. J. A. Lentfert and A. H. Uittenbogaard and S. D. Swierstra and G. Tel},
  title       = {Distributed Hierarchical Routing},
  institution = {Department of Computer Science},
  year        = {1989},
  address     = {PO.Box 80.089, 3508 TB Utrecht, the Netherlands},
  number      = {89-5},
  type        = {RUU-CS},
}

@inproceedings{LUST89ip,
  author       = {Lentfert, P. J. A. and Uittenbogaard, A. H. and Swierstra, S. D.and Tel, G.},
  title        = {Distributed Hierarchical Routing},
  booktitle    = {Computing Science in the Netherlands},
  organization = {SION},
  year         = {1989},
  editor       = {P.M.G. Apers and D.Bosman and J. van Leeuwen},
  publisher    = {Stichting Mathematisch Centrum},
  address      = {Amsterdam},
  pages        = {321-344},
}

@article{MoorBackSwie,
  author  = {Oege de Moor, Kevin Backhouse and S. Doaitse Swierstra},
  title   = {First Class Attribute Grammars},
  journal = {Informatica: An International Journal of Computing and Informatics},
  year    = 2000,
  month   = {June},
  number  = 2,
  note    = {Special Issue: Attribute grammars and Their Applications},
  volume  = 24,
  pages   = {329-341},
  editor  = {Mernik, Marjan and Parigot, Didier},
  issn    = {ISSN 0350-5596},
}

@article{PASembedding02,
  author  = {Prasetya, I.S.W.B. and Azurat, A. and Swierstra, S.D.},
  year    = 2002,
  title   = {Embedding Programming Logics in {HOL} Theorem Prover},
  journal = {Jurnal Ilmu Komputer dan Teknologi Informasi},
  volume  = 2,
  number  = 1,
  url     = {{http://www.icis.or.id/journal/j-II-01-mei02-abstrak/p3.html}},
  urlinfo = {{http://www.icis.or.id/journal/}},
  pubcat  = {journal},
}

@article{PASMultiLogika01,
  author  = {Prasetya, I.S.W.B. and Azurat, A. and Swierstra, S.D.},
  year    = 2001,
  title   = {Sebuah Framework untuk Mekanisasi Multi Logika},
  journal = {Jurnal Ilmu Komputer dan Teknologi Informasi},
  volume  = 1,
  number  = 2,
  url     = {{http://www.icis.or.id/journal/j-I-02-nov01-abstrak/p5.html}},
  urlinfo = {{http://www.icis.or.id/journal/}},
  pubcat  = {journal},
}

@techreport{PennSwieVogt92-11,
  author      = {Maarten Pennings and Doaitse Swierstra and Harald Vogt},
  title       = {Using cached functions and constructors for incremental attribute evaluation},
  institution = {Department of Computer Science},
  year        = {1992},
  address     = {Padualaan 14},
  number      = {92-11},
  type        = {RUU-CS},
}

@inbook{PeSw91,
  author    = {Swierstra, S. D. and Vogt, H. H.},
  title     = {Attribute Grammars, Applications and Systems},
  chapter   = {Higher Order Attribute Grammars},
  year      = {1991},
  editor    = {H. Alblas and B. Melichar},
  publisher = {Springer},
  volume    = {545},
  pages     = {256-296},
  series    = {LNCS},
  type      = {LNCS},
}

@inproceedings{PeSw92,
  author    = {M. Pennings and S. D. Swierstra and H. H. Vogt},
  title     = {Using Cached Functions and Constructors for Incremental Attribute Evaluation},
  booktitle = {Programming Language Implementation and Logic Programming},
  year      = {1992},
  editor    = {Bruynooghe, M. and Wirsing, M.},
  publisher = {Springer},
  pages     = {130-144},
  volume    = {631},
  series    = {LNCS},
}

@techreport{Pra00SelfStab,
  author      = {Prasetya, I.S.W.B. and Swierstra, S.D.},
  year        = 2000,
  title       = {Formal design of self-stabilizing programs: Theory and examples},
  number      = {UU-CS-2000-07},
  note        = {Download: {\tt www.cs.uu.nl/staff/wishnu.html}.},
  institution = {Inst. of Information and Comp. Science, Utrecht Univ.},
  url         = {{http://www.cs.uu.nl/research/techreps/aut/wishnu.html}},
  urlpdf      = {{http://archive.cs.uu.nl/pub/RUU/CS/techreps/CS-2000/2000-07.pdf}},
  pubcat      = {techreport},
}

@article{Pra93Style,
  author    = {Prasetya, I.S.W.B.},
  editor    = {Joyce, J.J. and Seger, C.J.H.},
  year      = 1993,
  title     = {On the Style of Mechanical Proving},
  journal   = {Lecture Notes in Computer Science},
  volume    = 780,
  pages     = {475-488},
  publisher = {Springer-Verlag},
  pubcat    = {article},
}

@article{Pra93VarAccess1,
  author    = {Prasetya, I.S.W.B.},
  editor    = {Joyce, J.J. and Seger, C.J.H.},
  year      = 1993,
  title     = {Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties},
  journal   = {Lecture Notes in Computer Science},
  volume    = 780,
  pages     = {324-337},
  publisher = {Springer-Verlag},
  pubcat    = {article},
}

@inproceedings{Pra93_CSN93,
  author       = {Prasetya, I.S.W.B.},
  editor       = {Wijshoff, H.A.},
  year         = 1993,
  title        = {Variable Access Constraints and Compositionality of Liveness Properties},
  booktitle    = {Proceedings of Computing Science in the Netherlands 93},
  pages        = {12-23},
  note         = {Best paper award},
  publisher    = {Stichting Matematisch Centrum},
  organization = {SION},
  pubcat       = {inproceedings},
}

@techreport{Pra96UnityHol,
  author      = {Prasetya, I.S.W.B.},
  year        = 1996,
  title       = {Formalizing {UNITY} with {HOL}},
  number      = {UU-CS-1996-01},
  note        = {Download: {\tt www.cs.uu.nl/staff/wishnu.html}},
  institution = {Inst. of Information and Comp. Science, Utrecht Univ.},
  url         = {{http://www.cs.uu.nl/research/techreps/aut/wishnu.html}},
  urlpdf      = {{http://archive.cs.uu.nl/pub/RUU/CS/techreps/CS-1995/1995-07.pdf}},
  pubcat      = {techreport},
}

@article{Pra97SSHierarchical,
  author    = {Prasetya, I.S.W.B.},
  editor    = {Brinksma, E.},
  year      = 1997,
  title     = {Mechanically Verified Self-Stabilizing Hierarchical Algorithms},
  journal   = {Lecture Notes in Computer Science},
  volume    = 1217,
  pages     = {399 - 415},
  publisher = {Springer-Verlag},
  pubcat    = {article},
}

@techreport{PraSwi200009,
  author     = {Vos, T.E.J. and Swierstra, S. D.},
  title      = {Defining a non-concrete recursive type in HOL which includes sets},
  insitution = {Department of Computer Science, Utrecht University},
  year       = {2000},
  type       = {UU-CS},
  number     = {2000-09},
  url        = {http://www.cs.uu.nl/pub/RUU/CS/techreps/CS-2000/2000-009.pdf},
}

@article{PS02FaultTolerance,
  author    = {Prasetya, I.S.W.B. and Swierstra, S.D.},
  month     = {october},
  year      = 2002,
  title     = {Factorizing Fault Tolerance},
  journal   = {Journal of Theoretical Computer Science, Special Edition on Dependable Computing},
  volume    = 290,
  number    = 2,
  pages     = {1201-1222},
  publisher = {Elsevier},
  pubcat    = {journal},
}

@techreport{PSW00Compo,
  author      = {Prasetya, I.S.W.B. and Swierstra, S.D. and Widjaja, B.},
  year        = 2000,
  title       = {Component-Wise Formal Approach to Design Distributed Systems},
  number      = {UU-CS-2000-01},
  note        = {Download: {\tt www.cs.uu.nl/staff/wishnu.html}},
  institution = {Inst. of Information and Comp. Science, Utrecht Univ.},
  url         = {{http://www.cs.uu.nl/research/techreps/aut/wishnu.html}},
  urlpdf      = {{http://archive.cs.uu.nl/pub/RUU/CS/techreps/CS-2000/2000-01.pdf}},
  pubcat      = {techreport},
}

@article{PSWTeoriKomposisi01,
  author  = {Prasetya, I.S.W.B. and Swierstra, S.D. and B. Widjaja},
  year    = 2001,
  title   = {Teori Komposisi Komponen},
  journal = {Jurnal Ilmu Komputer dan Teknologi Informasi},
  volume  = 1,
  number  = 1,
  url     = {{http://www.icis.or.id/journal/j-I-01-mei01-abstrak/p1.html}},
  urlinfo = {{http://www.icis.or.id/journal/}},
  pubcat  = {journal},
}

@inproceedings{PVAS03GenUnityAtTPHOL,
  author    = {Prasetya, I.S.W.B and Vos, T.E.J. and Azurat, A. and Swierstra, S.D..},
  editor    = {D. Basin and B. Wolff},
  year      = 2003,
  title     = {{!UNITY}: A {HOL} Theory of General {UNITY}},
  booktitle = {Emerging Trends Proceedings of 16th International Conference, Theorem Proving in Higher Order Logics {(TPHOL)}},
  pages     = {159-176},
  note      = {Also available as tech. report No. 187 of Inst. fur Inf., Albert-Ludwig-Univ. Freiburg. Available on-line at {\tt http://www.informatik.uni-freiburg.de/tr}.},
  urlinfo   = {{http://tphols.informatik.uni-freiburg.de/}},
  urlpdf    = {{http://tphols.informatik.uni-freiburg.de/proceedings/et.pdf}},
  pubcat    = {workshop proceedings},
}

@inproceedings{PVSW03CompoAbstract_atFACS,
  author    = {Prasetya, I.S.W.B. and Vos, T.E.J. and Swierstra, S.D. and Widjaja, B.},
  editor    = {Hung Dang Van and Zhiming Liu},
  year      = 2003,
  title     = {A Theory for Composing Distributed Components Based on Temporary Interface},
  booktitle = {Proceedings of the Workshop on Formal Aspects of Component Software {(FACS)}},
  note      = {Also as UNU/IIST Report no. 284. Available on-line at {\tt www.iist.unu.edu/newrh/III/1/page.html}.},
  url       = {{www.iist.unu.edu/newrh/III/1/page.html}},
  urlinfo   = {{http://www.iist.unu.edu/facs03/}},
  pubcat    = {workshop proceedings},
}

@inproceedings{PVSW03CompoAbstract_atWCL,
  author    = {Prasetya, I.S.W.B. and Vos, T.E.J. and Swierstra, S.D. and Widjaja, B.},
  year      = 2003,
  title     = {A Theory for Composing Distributed Components Based on Temporary Interface},
  booktitle = {3rd International Workshop on Composition Languages},
  note      = {Available on-line at {\tt www.cs.iastate.edu/{$\tilde\;$}lumpe/WCL2003}.},
  url       = {{www.cs.iastate.edu/~lumpe/WCL2003}.},
  pubcat    = {workshop},
}

@book{PVS_pc_lecnote_02,
  author    = {Prasetya, I.S.W.B and Vos, T.E.J. and Swierstra, S.D..},
  year      = 2002,
  title     = {Introduction to Correctness Approach in Programming, Lecture Notes},
  note      = {Website is in dutch},
  publisher = {Universiteit Utrecht, Instituut Informatica en Informatiekunde},
  urlinfo   = {{http://www.cs.uu.nl/docs/vakken/pc/}},
  urlpdf    = {{http://www.cs.uu.nl/docs/vakken/pc/2002/dictaat.pdf}},
}

@techreport{RaDijSwi1985,
  author      = {Raaf, A.J. de, and Dijkstra, A., and Swierstra, S.D.},
  title       = {A LAN with Real-Time, Facilities Based on OSI-concepts,},
  institution = {Department of Computer Science},
  year        = {1985},
  number      = {85},
  type        = {RUU-CS},
}

@techreport{SaraSwieKuip96,
  author     = {Saraiva, J. and Kuiper, M. and Swierstra, S. D.},
  title      = {Effective function cache management for incremental attribute evaluation},
  insitution = {Department of Computer Science, Utrecht University},
  year       = {1996},
  type       = {UU-CS},
  number     = {1996-50},
}

@techreport{SarKuiSw96,
  author     = {Saraiva, J. and Swierstra, S. D. and Kuiper, M. and Pennings, M.},
  title      = {Strictification of lazy functions},
  insitution = {Department of Computer Science, Utrecht University},
  year       = {1996},
  type       = {UU-CS},
  number     = {1996-51},
}

@inproceedings{SarSwi2003,
  author    = {Saraiva, Jo{\~a}o A. and Swierstra, S.~Doaitse},
  title     = {Generating Spreadheet-Like Tools from Strong Attribute Grammars},
  booktitle = {Generative Programming and Component Engeneering, Second International Conference, GPCE 2003},
  year      = {2000},
  editor    = {Pfenning, Frank and Smaragdakis, Yannis},
  publisher = {Springer-Verlag},
  series    = {LNCS},
  number    = {2830},
  pages     = {307-223},
  urlpdf    = {http://www.cs.uu.nl/people/doaitse/papers/2003/SpreadsheetsAG.pdf},
}

@inproceedings{SchDijkSwi99,
  author       = {Schrage, M. M. and Dijksta, A. and Swierstra, S. D.},
  title        = {SKIT, An Open Architecture for Courseware Authoring},
  booktitle    = {FIE 99, Frontiers in Education Conference},
  url          = {http://fairway.ecn.purdue.edu/~fie/fie99/pages/index.htm},
  city         = {Dan Juan},
  isbn         = {0-7803-5643-8},
  organization = {IEEE},
  year         = 1999,
}

@techreport{SchJeuSwi2002-30,
  author     = {Schrage, M. and Jeuring, J.T. and Swierstra, S.D.},
  title      = {Combinators for layered software architectures},
  insitution = {Department of Computer Science, Utrecht University},
  year       = {2002},
  type       = {UU-CS},
  number     = {2002-30},
  url        = {http://www.cs.uu.nl/pub/RUU/CS/techreps/CS-2002/2002-030.pdf},
}

@techreport{SchouSwi1984,
  author      = {Schoute, A.L., and Swierstra, S.D},
  title       = {Writing Concurrent Programs in a Sequential Language like Pascal},
  institution = {Twente University of Technology},
  year        = {1984},
  number      = {1984-20},
  type        = {Inf-Memorandum},
}

@inproceedings{SKS97a,
  author    = {Jo{\~a}o Saraiva and Matthijs Kuiper and Doaitse Swierstra},
  title     = {{Effective Function Cache Management for Incremental Attribute Evaluation}},
  booktitle = {9th International Workshop on Implementation of Functional Languages},
  editor    = {Chris Clark and Tony Davie and Kevin Hammond},
  address   = {St Andrews, Scotland},
  month     = {September},
  pages     = {517--528},
  year      = {1997},
}

@inproceedings{SKS97b,
  author    = {Jo{\~a}o Saraiva and Matthijs Kuiper and Doaitse Swierstra},
  title     = {{Specializing Trees for Efficient Functional Decoration}},
  booktitle = {{ILPS97 Workshop on Specialization of Declarative Programs and its Applications}},
  editor    = {Michael Leuschel},
  month     = {October},
  pages     = {63--72},
  note      = {(Also available as Technical Report CW 255, Department of Computer Science, Katholieke Universiteit Leuven , Belgium)},
  year      = {1997},
}

@inproceedings{SSK00a,
  author    = {Jo{\~a}o Saraiva and Doaitse Swierstra and Matthijs Kuiper},
  title     = {{F}unctional {I}ncremental {A}ttribute {E}valuation},
  booktitle = {9th International Conference on Compiler Construction, CC/ETAPS2000},
  year      = {2000},
  editor    = {{David Watt}},
  publisher = {Springer-Verlag},
  pages     = {279-294},
  volume    = {1781},
  series    = {LNCS},
  month     = mar,
}

@techreport{SSK97a,
  author      = {Jo{\~a}o Saraiva and Doaitse Swierstra and Matthijs Kuiper},
  institution = {Department of Computer Science, Utrecht University},
  month       = {August},
  title       = {{Strictification of Computations on Trees}},
  year        = {1997},
  type        = {Technical Report {UU-CS-1997-30}},
  note        = {{\tt ftp://ftp.cs.ruu.nl/pub/RUU/CS/techreps/CS-1997/1997-30.ps.gz}},
}

@inproceedings{Swi77,
  author    = {Swierstra, S. D.},
  title     = {Abstract Data Types, Definition Modules and Extensions to Definition Modules},
  booktitle = {M(achine) O(riented) L(anguages)-bulletin},
  publisher = INRIA,
  year      = {1977},
}

@techreport{Swie1979a,
  author      = {Swierstra, S. D.},
  title       = {Another Approach to Type Checking},
  institution = {Twente University of Technology},
  year        = {1979},
}

@techreport{Swie1979b,
  author      = {Swierstra, S. D.},
  title       = {Machine Architectures for Block Structured Languages},
  institution = {Technical University Twente},
  year        = {1979},
  series      = {TW-Memorandum},
  number      = {262},
}

@misc{Swie1980,
  author       = {Swierstra, S.D.},
  title        = {Some notes on Ada},
  howpublished = {Ada Symposium},
  organisation = {Nederlanfs Genootschap voor Informatica},
  year         = 1980,
}

@phdthesis{Swie1981,
  author = {Swierstra, S.D.},
  title  = {Lawine: an Experiment in Language and Machine Design},
  school = {Twente University of Technology},
  year   = 1981,
  month  = jan,
}

@proceedings{Swie95PLILP,
  editor    = {Manuel Hermenegildo and S. Doaitse Swierstra},
  title     = {Proceedings of the the 7th International PLILP Symposium {\em Programming Languages: Implementations, Logics and Programs}},
  publisher = Springer-Verlag,
  series    = {LNCS},
  volume    = {982},
  year      = {1995},
}

@proceedings{Swie96PLILP,
  editor    = {Herbert Kuchen and S. Doaitse Swierstra},
  title     = {Proceedings of the the 8th International PLILP Symposium {\em Programming Languages: Implementations, Logics and Programs}},
  publisher = Springer-Verlag,
  series    = {LNCS},
  volume    = {1140},
  year      = {1996},
}

@incollection{SwieAzer98,
  author    = {Swierstra, S. D. and Azero, P.},
  title     = {Attribute Grammars in the Functional Style},
  booktitle = {Proceedings of the SI2000},
  publisher = {Chapman-Hall},
  year      = 1998,
}

@inproceedings{SwieAzer99,
  author    = {Swierstra, S. D. and Azero Alcocer, P. R.},
  title     = {Fast, Error Correcting Parser Combinators: a Short Tutorial},
  booktitle = {SOFSEM'99 Theory and Practice of Informatics, 26th Seminar on Current Trends in Theory and Practice of Informatics},
  year      = {1999},
  month     = {November},
  editor    = {Pavelka, Jan and Tel, Gerard and Bartosek, Miroslav},
  pages     = {111-129},
  volume    = {1725},
  series    = {LNCS},
}

@inproceedings{SwieAzSar98Braga,
  author    = {Swierstra, S. D. and Azero Alocer, P. R. and Saraiava, J.},
  title     = {Designing and Implementing Combinator Languages},
  booktitle = {Advanced Functional Programming, Third International School, AFP'98},
  editor    = {Doaitse Swierstra and Pedro Henriques and Jos\'{e} Oliveira},
  publisher = {Springer-Verlag},
  series    = {LNCS},
  volume    = {1608},
  pages     = {150-206},
  year      = {1999},
}

@inproceedings{SwieDupo96,
  author    = {Swierstra, S. D. and Duponcheel, L.},
  title     = {Deterministic, Error-Correcting Combinator Parsers},
  booktitle = {Advanced Functional Programming},
  editor    = {John Launchbury and Erik Meijer and Tim Sheard},
  publisher = {Springer-Verlag},
  series    = {LNCS-Tutorial},
  volume    = {1129},
  pages     = {184-207},
  year      = {1996},
  urlpdf    = {http://www.cs.uu.nl/people/doaitse/Papers/1996/DetErrCorrComPars.pdf},
}

@incollection{SwieMoor93,
  author    = {Swierstra, S. D. and Moor, O. de},
  title     = {Virtual Data Structures},
  editor    = {M{\"o}ller B. and Partsch H. and Schuman S.},
  booktitle = {Formal Program Development},
  number    = 755,
  series    = {Lecture Notes in Computer Science},
  pages     = {355-371},
  publisher = {Springer-Verlag},
  address   = {Berlin},
  year      = 1993,
  note      = {},
}

@inproceedings{swierstra01combinator,
  author    = {Doaitse Swierstra},
  title     = {Combinator Parsers: From Toys to Tools},
  booktitle = {Electronic Notes in Theoretical Computer Science},
  volume    = {41},
  issue     = {1},
  publisher = {Elsevier Science Publishers},
  editor    = {Graham Hutton},
  year      = {2001},
  url       = {http://math.tulane.edu/~entcs/},
}

@techreport{SwieVogt90,
  author      = {Swierstra, S. D. and Vogt, H. H.},
  title       = {Higher order attribute grammars: a merge between functional and object oriented programming},
  institution = {Dept. of Computer Science},
  year        = {1990},
  number      = {90-12},
  type        = {RUU-CS},
}

@inproceedings{vladisds,
  author    = {Costas, V.A. and Swierstra, S.D.},
  title     = {Generador de Parsers Basado en Combinadores},
  booktitle = {XXVII Conferencia Latinoamericana de INFORMATICA (CLEI 2001)},
  editor    = {Jonas Montilva C. and Isabel Besembel, C.},
  year      = {2001},
  pages     = {120},
  isbn      = {980-11-0528-3},
}

@inproceedings{VogtSwieKuip89,
  author    = {Vogt, H. H. and Swierstra, S. D. and Kuiper, M. F.},
  title     = {Higher Order Attribute grammars},
  booktitle = {Sigplan 1989 Conference on programming language design and Implementation},
  year      = {1989},
  publisher = {ACM},
}

@techreport{VogtSwieKuip90,
  author      = {Vogt, H. H. and Swierstra, S.D. and Kuiper, M.F.},
  title       = {On the efficient incremental evaluation of higher order attribute grammars},
  institution = {Department of Computer Science},
  year        = {1990},
  address     = {P.O.Box 80.089, 3508 TB Utrecht, the Netherlands},
  number      = {90-36},
  type        = {RUU-CS},
}

@inproceedings{VogtSwieKuip91,
  author    = {Vogt, H. H. and Swierstra, S.D. and Kuiper, M.F.},
  title     = {Efficient Incremental Evaluation of Higher Order Attribute Grammars},
  booktitle = {Programming language Implementation and Logic Programming},
  year      = {1991},
  editor    = {J. Maluszinsky and M. Wirsing},
  pages     = {231-242},
  volume    = {528},
  series    = {LNCS},
}

@inproceedings{vos04:5,
  author       = {Tanja E. J. Vos and S. Doaitse Swierstra},
  title        = {Facilitating the Verification of Diffusing Computations and Their Applications},
  booktitle    = {30ma Conferencia Latinoamericana de Inform‡tica (CLEI2004)},
  year         = {2004},
  editor       = {Mauricio Solar and David Fern‡ndez-Baca and Ernesto Cuadros-Vargas},
  pages        = {42--53},
  address      = {},
  month        = Sep,
  organization = {Sociedad Peruana de Computaci—n},
  note         = {ISBN 9972-9876-2-0},
  urlpdf       = {http://clei2004.spc.org.pe/es/html/pdfs/5.pdf},
  pubcat       = {inproceedings},
}

@inproceedings{VosSw97,
  author    = {Vos, T. E. J. and Swierstra, S. D.},
  title     = {{Make your enemies transparent}},
  booktitle = {Proceedings of the 23rd International Workshop on Grpah-Theoretic Concepts in Computer Science},
  publisher = {Springer-Verlag},
  series    = {LNCS},
  volume    = {1335},
  pages     = {342-353},
  year      = {1997},
}

@techreport{VosSwie200010,
  author     = {Vos, T.E.J. and Swierstra, S. D.},
  title      = {Sequential program Composition in UNITY},
  insitution = {Department of Computer Science, Utrecht University},
  year       = {2000},
  type       = {UU-CS},
  number     = {2000-10},
  url        = {http://www.cs.uu.nl/pub/RUU/CS/techreps/CS-2000/2000-010.pdf},
}

@techreport{VosSwie2001a,
  author     = {Vos, T.E.J. and Swierstra, S.D.},
  title      = {Program refinement in UNITY},
  insitution = {Department of Computer Science, Utrecht University},
  year       = {2000},
  type       = {UU-CS},
  number     = {2000-41},
  url        = {http://www.cs.uu.nl/pub/RUU/CS/techreps/CS-2001/2001-041.pdf},
}

@techreport{VosSwie2001b,
  author     = {Vos, T.E.J. and Swierstra, S.D.},
  title      = {Proving distributed hylomorphisms},
  insitution = {Department of Computer Science, Utrecht University},
  year       = {2000},
  type       = {UU-CS},
  number     = {2000-40},
  url        = {http://www.cs.uu.nl/pub/RUU/CS/techreps/CS-2001/2002-040.pdf},
}

@techreport{VSP97Sort,
  author      = {Vos, T.E.J. and Swierstra, S.D. and Prasetya, I.S.W.B.},
  year        = 1996,
  title       = {Formal methods and mechanical verification applied to the development of a convergent distributed sorting program},
  number      = {UU-CS-1996-37},
  note        = {Download: {\tt www.cs.uu.nl/staff/wishnu.html}.},
  institution = {Inst. of Information and Comp. Science, Utrecht Univ.},
  url         = {{http://www.cs.uu.nl/research/techreps/aut/wishnu.html}},
  pubcat      = {techreport},
}

@inproceedings{VSW02_refinement_RCS02,
  author    = {Vos, T.E.J. and Swierstra, S.D. and Prasetya, I.S.W.B},
  year      = 2002,
  title     = {Yet Another Program Refinement Relation},
  booktitle = {International Workshop on Refinement of Critical Systems: Methods, Tools and Experience},
  url       = {{http://www.esil.univ-mrs.fr/~spc/rcs02/papers/Vos_Swierstra.ps.gz}},
  urlinfo   = {{http://www.esil.univ-mrs.fr/~spc/rcs02/rcs02.html}},
  pubcat    = {workshop},
}

@techreport{xMechPrelim,
  author      = {Azurat, A. and Prasetya, I.S.W.B.},
  year        = 2002,
  title       = {A Preliminary Report on {xMECH}},
  number      = {UU-CS-2002-008},
  note        = {Download: {\tt www.cs.uu.nl/staff/wishnu.html}.},
  institution = {Inst. of Information and Comp. Science, Utrecht Univ.},
  url         = {{http://www.cs.uu.nl/research/techreps/aut/wishnu.html}},
  urlpdf      = {{http://archive.cs.uu.nl/pub/RUU/CS/techreps/CS-2002/2002-008.pdf}},
  pubcat      = {techreport},
}