Bibliography

@techreport{Vis95.case,
  key = {Vis95.case},
  author = {Eelco Visser},
  title = {A Case Study in Optimizing Parsing Schemata by
		  Disambiguation Filters},
  year = {1995},
  number = {P9507},
  institution = {Programming Research Group, University of Amsterdam}
}

@article{VBD95,
  author = "J.Vuillemin and P.Bertin and D.Roncin and M.Shand 
            and H.Touati and P.Boucard",
  title = "Programmable Active Memories: Reconfigurable Systems Come of Age",
  journal = "IEEE transactions on VLSI systems",
  note = "preprint",
  year = "1995?"
}

@InCollection{Vis96.mls,
  author =       "Visser, Eelco",
  title =        "Multi-Level Specifications",
  booktitle =    "Language Prototyping. An Algebraic Specification Approach",
  publisher =    "World Scientific Publishing Inc.",
  year =         1996,
  month =        "april",
  editor =       "A. van Deursen and J. Heering and P. Klint",
  series =       "AMAST Series in Computing",
  volume =       "5"
}

@article{Ver95,
  author = "Rakesh M. Verma",
  title = "A Theory of Using History for Equational Systems with
           Applications",
  journal = "Journal of the ACM",
  volume = "42",
  number = "5",
  month = "september",
  year = "1995",
  pages = "984-1020"
}

@article{Ver95b,
 author  = {Rakesh M. Verma},
 title   = {Transformations and confluence for rewrite systems},
 journal = {Theoretical Computer Science},
 year    = {1995},
 volume  = {152},
 number  = {2},
 pages   = {269--283}
}

@unpublished{Vis92.eiffel,
  key         = {Vis92.eiffel},
  author      =	"E. Visser",
  title       =	"Syntax and Static Semantics of {E}iffel. {A} 
Case Study
		 in Algebraic Specification Techniques",
  address     = "University of  Amsterdam",
  year        =	"1992",
  note	      = "Available by {\em ftp} from ftp.cwi.nl:/pub/gipe 
as 
                 Vis92.ps.Z"
}

@MastersThesis{Vis93.CAS-LM,
  author = 	"E. Visser",
  title = 	"Combinatory Logic \& Compilation of List Matching",
  school = 	"University of Amsterdam, Programming Research 
Group",
  year = 	"1993"
}

@techreport{Vaa86,
  key         = {Vaa86},
  author      = {F.W. Vaandrager},
  title       = {{V}erification of two communication protocols 
by means of process algebra},
  institution = {Centrum voor Wiskunde en Informatica (CWI)},
  type        = {Report {CS}-{R}8608},
  address     = {Amsterdam},
  year        = {1986}}

@misc{VG,
  key         = {VG},
  author      = {Vliet, J.C. van and H.M. Gladney},
  title       = {{A}n evaluation of tagging},
  address     = {San Jose, California}}

@inproceedings{VSK89,
  key         = {VSK89},
  author      = {H.H. Vogt and S.D. Swierstra and M.F. Kuiper},
  title       = {{H}igher order attribute grammars},
  booktitle   = {Proceedings of the ACM SIGPLAN'89 Conference on 
Programming Language Design and Implementation},
  pages       = {131-145},
  year        = {1989},
  note        = {Appeared as {\it SIGPLAN Notices} 24(7)}}

@techreport{VSK90,
  key         = {VSK90},
  author      = {H.H. Vogt and S.D. Swierstra and M.F. Kuiper},
  title       = {{O}n the efficient incremental evaluation of 
higher order attribute grammars},
  institution = {Utrecht University},
  type        = {{T}echnical {R}eport {CS}-90-36},
  address     = {Utrecht},
  year        = {1990}}

@article{Voi86,
  key         = {Voi86},
  author      = {F. Voisin},
  title       = {{CIGALE}: a tool for interactive grammar 
construction and expression parsing},
  journal     = {Science of Computer Programming},
  volume      = {7},
  pages       = {61-86},
  year        = {1986}}

@inproceedings{Ven91,
  key         = {Ven91},
  author      = {G.A. Venkatesh},
  title       = {The Semantic Approach to Program Slicing},
  booktitle   = {Proceedings of the ACM SIGPLAN'91 Conference on 
                 Programming Language Design and Implementation},
  pages       = {107-119},
  year        = {1991},
  note        = {{\it SIGPLAN Notices} 26(6)}}

@unpublished{Ven93,
  key           = {Ven93},
  author        = {G.A. Venkatesh},
  title         = {Experiences with slicing {C} programs},
  year          = {1993},
  note          = {Unpublished manuscript}
}

@phdthesis{Vogt93.thesis,
  author        = "H.H. Vogt",
  title         = "Higher Order Attribute Grammars ",
  school        = "Rijksuniversiteit Utrecht",
  year          = 1993
}

@inproceedings{VU84,
	key = "VU84",
	title = "Finding Temporary Terms in Prolog Programs",
	author = "Pentti Vataja and Esko Ukkonen",
	booktitle = "Proceedings of the International Conference on Fifth
		Generation Computer Systems",
	year = "1984",
	publisher = "ICOT",
	pages = "275--282"
}

@mastersthesis{Vis93,
  author      = {Visser, E.},
  title       = {{C}ombinatory {A}lgebraic {S}pecification \& {C}ompilation of {L}ist {M}atching},
  school      = {Universiteit of Amsterdam},
  year        = {1993}
}

@InProceedings{Vig95,
  author = 	{S. Vigna},
  title = 	{Specifying Imp(G) Using ASF+SDF: A Case Study},
  crossref =    {ASF+SDF95},
  pages = 	{65--88}
}

@InProceedings{Vis95,
  author = 	{E. Visser},
  title = 	{A Family of Syntax Definition Formalisms},
  crossref =    {ASF+SDF95},
  pages = 	{89--126}
}