Bibliography

@unpublished{NL96,
  key = {NL96},
  author = {George C. Necula and Peter Lee},
  title = {Safe Kernel Extensions Without Run-Time Checking},
  note = {Obtained from http://www.cs.cmu.edu/afs/cs.cmu.edu/Web/People/petel/},
  year = {1996}
}

@inproceedings{NA86,
  key         = {NA86},
  author      = {Nait Abdallah, M. A.},
  title       = {{A}l-{K}howarizmi: a formal system for 
higher-order logic programming},
  booktitle   = {Proceedings of the Twelfth Symposium on 
Mathematical Foundations of Computer Science},
  series      = {Lecture Notes in Computer Science},
  editor      = {J. Gruska and B. Rovan and J. Wiedermann},
  volume      = {233},
  pages       = {545-553},
  organization = {Springer-Verlag},
  year        = {1986}}

@techreport{NL88,
  key         = {NL88},
  author      = {M. Nielsen and S. Lynenskjold},
  title       = {{RAISE} - project overview},
  institution = {Dansk Datamatik center},
  type        = {{D}oc. {I}d.: {RAISE}/{DDC}/{MN}/19/{V}3},
  address     = {Lyngby},
  year        = {1988}}

@inproceedings{NN85,
  key         = {NN85},
  author      = {F. Nielson and H.R. Nielson},
  title       = {{C}ode generation from two-level denotational 
meta-languages},
  booktitle   = {Programs as Data Objects, Proceedings of a 
workshop},
  series      = {Lecture Notes in Computer Science},
  editor      = {H. Ganzinger and N.D. Jones},
  volume      = {217},
  pages       = {192-205},
  organization = {Springer-Verlag},
  year        = {1985}}

@article{Not85a,
  key         = {Not85a},
  author      = {D. Notkin},
  title       = {{A}nnotated bibliography of {GANDALF} 
literature},
  journal     = {The Journal of Systems and Software},
  volume      = {5},
  number      = {2},
  pages       = {173-176},
  year        = {1985}}

@article{Not85b,
  key         = {Not85b},
  author      = {D. Notkin},
  title       = {{T}he {GANDALF} project},
  journal     = {The Journal of Systems and Software},
  volume      = {5},
  number      = {2},
  pages       = {91-105},
  year        = {1985}}

@techreport{Nou84a,
  key         = {Nou84a},
  author      = {C.F. Nourani},
  title       = {{E}quational intensity, initial models, and 
{AI} reasoning},
  institution = {GTE Laboratories},
  type        = {{T}echnote no. {TN} 84-126.5},
  address     = {Waltham, Massachusetts},
  year        = {1984}}

@techreport{Nou84b,
  key         = {Nou84b},
  author      = {C.F. Nourani},
  title       = {{F}orcing with universal sentences and 
genericity of inductive closures},
  institution = {University of Pennsylvania},
  type        = {{T}echnical {N}ote no. 84-126.1},
  address     = {Philadelphia},
  year        = {1984}}

@techreport{Nou84c,
  key         = {Nou84c},
  author      = {C.F. Nourani},
  title       = {{O}n the power of positive thinking},
  institution = {GTE Laboratories},
  type        = {{T}echnote.text (cn41269)},
  address     = {Waltham, Massachusetts},
  year        = {1984}}

@inproceedings{NF89,
  key         = {NF89},
  author      = {R. Nozohoor-Farshi},
  title       = {{H}andling of ill-designed grammars in 
{T}omita's parsing algorithm},
  booktitle   = {Proceedings of the International Parsing 
Workshop '89},
  pages       = {182-192},
  year        = {1989}}

@techreport{NF92.algdebug,
  key         = {NF92},
  author      = {H. Nilsson and P. Fritzson},
  title       = {Algorithmic Debugging for Lazy Functional 
Languages},
  institution = {Link{\"{o}}ping University},
  type        = {{T}echnical {R}eport {L}i{TH}-{IDA}-{R}-92-17},
  address     = {Link{\"{o}}ping},
  year        = {1992}
}

@article{NY90,
   author = {Gerald W. Neufeld and Yueli Yang},
   journal = {IEEE Transactions on Software Engineering},
   month = {October},
   number = {10},
   pages = {1209--1220},
   title = {The Design and Implementation of an ASN.1-C 
Compiler},
   volume = {16},
   year = {1990}
}

@InProceedings{Nar89,
  author = 	 "Sanjai Narain",
  title = 	 "Optimization by non-deterministic, lazy rewriting",
  key =		 "Nar89",
  editor =	 "N. Dershowitz",
  number =	 355,
  series =	 "Lecture Notes in Computer Science",
  pages =	 "326--342",
  booktitle =	 "Rewriting Techniques and Applications",
  year =	 1989,
  publisher =	 "Springer"
}

@article{NF94,
	key = "NF94",
	author = "Henrik Nilsson and Peter Fritzson",
	title = "Algorithmic debugging for lazy functional languages",
	journal = "Journal of Functional Programming",
	volume = "4",
	number = "3",
	year = "1994",
	month = "July",
	publisher = "Cambridge University Press"
}

@techreport{Net92,
	key = "Net92",
	title = "A Larch Specification of Copying Garbage Collection",
	author = "Scott Nettles",
	month = "December",
	number = "CMU-CS-92-219",
	year = "1992",
	school = "Carnegie Mellon University"
}

@inproceedings{NN90,
	key = "NN90",
	author = "Hanne Riis Nielson and Flemming Nielson",
	title = "Context Information for Lazy Code Generation",
	booktitle = "ACM Conference on Lisp and Functional Programming",
	pages = "251-263",
	publisher = "ACM",
	year = "1990",
	month = "June"
}

@techreport{NCD78,
  key = {NCD78},
  author = {J.M. Newcomer and others},
  title = {{PQCC} Implementor's Handbook},
  institution = {CMU},
  note = {Internal Report},
  year = {1978}
}

@inproceedings{Nip91,
  author      = {T. Nipkow},
  title       = {{H}igher-order critical pairs},
  booktitle   = {Sixth Annual IEEE Symposium on Logic in Computer Science},
  organization= {IEEE},
  pages       = {342-349},
  publisher   = {IEEE Computer Society},
  year        = {1991}}

@InProceedings{ND95,
  author = 	{D. Naidich and T.B. Dinesh},
  title = 	{Specifying an Automated Induction Proof Procedure in ASF+SDF},
  crossref =    {ASF+SDF95},
  pages = 	{233--254}
}

@article{New87,
  key = {New87},
  author = {Joseph M. Newcomer},
  title = {Efficient Binary I/O of {IDL} objects},
  journal = {SIGPLAN Notices},
  volume = {22},
  number = {11},
  month = {nov},
  year = {1987},
  pages = {35-43}
}