@string{mk = "Morgan Kaufmann"}
%
%   abbreviations
%

@string{ieee = "IEEE Press"}
@string{acm = "ACM Press"}
@string{journalParallelDistributed = "Journal of Parallel and Distributed Computing"}
@string{hicss = "Proceedings of the Annual Hawaii International Conference on System Sciences"}
@string{wegner =  "Research Directions in Object-Oriented Programming"}
@string{lochovsky = "Object-oriented Concepts, Databases, and Applications"}
@string{mit = "MIT Press"}
@string{graw = "McGraw-Hill"}
@string{popl = "ACM Symposium on Principles of Programming Languages"}
@string{oopsla = "Object-Oriented Programming Systems, Languages and Applications Conference, {\em in} Special Issue of SIGPLAN Notices"}
@string{oopsm = "OOPS Messenger"}
@string{ecoop = "European Conference on Object-Oriented Programming"}
@string{kluwer = "Kluwer Academic Publishers"}
@string{tcs = "Theoretical Computer Science"}
@string{lncs = "Springer Verlag, Lecture Notes in Computer Science"}
@string{spcs = "Springer Verlag, Lecture Notes in Computer Science"}
@string{siam-comp = "SIAM Journal on Computing"}
@string{tois = "ACM Transactions on Office Information Systems"}
@string{ipl = "Information Processing Letters"}
@string{tdb = "ACM Transactions on Database Systems"}
@string{lisp = "Journal on Lisp and Symbolic Computation"}
@string{toplas = "ACM Transactions on Programming Languages and Systems"}
@string{tosem = "ACM Transactions on Software Engineering and Methodology"}
@string{sigplan = "SIGPLAN Notices"}
@string{oops-mess = "OOPS MESSENGER"}
@string{commACM = "Communications of the ACM"}
@string{cacm = "Communications of the ACM"}
@string{ieee-computer = "IEEE Computer Magazine"}
@string{surveys = "ACM Computing Surveys"}
@string{ieee-se = "IEEE Transactions on Software Engineering"}
@string{jacm = "Journal of the Association for Computing Machinery"}
@string{icse = "International Conference on Software Engineering"}
@string{seke = "International Conference on Knowledge and Software Engineering"}
@string{aaai = "National Conference on Artificial Intelligence"}
@string{ieee-software = "IEEE Software"}
@string{joop = "Journal of Object-Oriented Programming"}
@string{usenix = "Computing Systems, The Journal of the USENIX Association"} 
@string{jlp = "Journal of Logic Programming"}
@string{csm = "Conference on Software Maintenance"}
@string{jss = "Journal of Systems and Software"}
@string{jcss = "Journal of Computer and System Sciences"}
@string{sigmod = "Proceedings of ACM/SIGMOD Annual Conference on Management of Data"}
@string{dood = "Proceedings of International Conference on Deductive and
Object-Oriented Databases"}
@string{dac = "Design Automation Conference"}
@string{focs = "IEEE Symposium on Foundations of Computer Science"}
@string{sigact = "Annual ACM Symposium on the Theory of Computing"}
@string{dpl = "Database Programming Languages, International Workshop"}
@string{spe = "Software--Practice and Experience"}
@string{pds = "Principles of Database Systems"}
@string{zdonik-meyer = "Readings in Object-Oriented Database Systems"}
@string{is = "Information Systems"}
@string{er = "Proceedings of International Conference on Entity-Relationship"} 
@string{comp-reviews = "ACM Computing Reviews"}
@string{vldb = "International Conference on Very Large Data Bases"}
@string{tkde = "IEEE Transactions on Knowledge and Data Engineering"}
@string{dandt = "IEEE Design and Test of Computers"}
@string{case = "International Workshop on CASE"}
@string{csc = "ACM Computer Science Conference"}
@string{sac = "ACM Computer Science Conference, Symposium on Applied Computing"}
@string{tools-e = "TOOLS Europe, Technology of Object-Oriented Languages and Systems"}
@string{cscw = "Conference on Computer-Supported Cooperative Work"}
@string{sigsoft = "ACM SIGSOFT Symposium on Software Development Environments"}
@string{isotas = "International Symposium on Object Technologies for Advanced Software"}
@string{tools-p = "Technology of Object-Oriented Languages and
Systems Pacific Conference"}
@string{fac =           "Formal Aspects of Computing, the International Journal of Formal Methods"}
@string{edbt =  "International Conference on Extending Database Technology"}
@string{sigmodrec =     "SIGMOD Record"}
@string{icde =  "International Conference on Data Engineering"}
@string{icalp =  "International Colloquium on Automata, Languages and Programming"}
@string{ijfcs =  "International Journal of Foundations of Computer Science, World Scientific Publishing Company"}
@string{nu =  "Northeastern University"}
@string{sen = "ACM Software Engineering Notes"}
@string{sooppa ="Proceedings of the Symposium on Object-Oriented
                 Programming emphasizing Practical Applications (SOOPA)"}
@string{fse = "Symposium on Foundations of Software Engineering, SIGSOFT"}
@string{oois = "Object-Oriented Information Systems"}
@string{esop = "European Symposium on Programming"}
@string{cpe = "Concurrency: Practice and Experience"}
@string{tapos = "Theory and Practice of Object Systems, John Wiley and Sons, Inc."}



@INPROCEEDINGS{lieber-riel:singapore,
  AUTHOR = "Karl J. Lieberherr and Arthur J. Riel",
  BOOKTITLE = icse,
  YEAR = "1988",
  ADDRESS = "Raffles City, Singapore",
  TITLE = "Demeter: A {CASE} Study of Software Growth Through Parameterized Classes",
  PAGES = "254-264"
}

@ARTICLE{LHLR:law-letter,
AUTHOR = "Karl J. Lieberherr and Ian Holland and Gar-Lin Lee and Arthur J. Riel",
TITLE = "An objective sense of style",
JOURNAL = ieee-computer,
MONTH = "June",
YEAR = "1988",
NOTE = "Open Channel publication"
}

@INPROCEEDINGS{LHLR:law-paper,
AUTHOR = "Karl J. Lieberherr and Ian Holland and Arthur J. Riel",
TITLE = "Object-oriented programming: An objective sense of style",
BOOKTITLE = oopsla,
MONTH = "September",
ADDRESS = "San Diego, CA",
YEAR = "1988",
VOL = 23,
NUMBER = 11,
PAGES = "323-334",
NOTE = "A short version of this paper appears in 
{\em IEEE Computer Magazine},
June 1988, Open Channel section, pages 78-79."
}
%  A revised version
%  of the paper will appear in IEEE Software in fall 1989."

%COLLECT
@ARTICLE{karl-ian:soft1,
AUTHOR = "Karl J. Lieberherr and Ian Holland",
TITLE = "Assuring Good Style for Object-Oriented Programs",
JOURNAL = ieee-software,
YEAR = "1989",
MONTH = "September",
PAGES = "38-48"
}

%COLLECT
@ARTICLE{karl1:class,
AUTHOR = "Karl J. Lieberherr",
TITLE = "Object-oriented programming with class dictionaries",
VOLUME = 1,
NUMBER = 2,
YEAR = 1988,
JOURNAL = "Journal on Lisp and Symbolic Computation",
PAGES = "185-212"
}

@ARTICLE{lieber-riel:oop,
  AUTHOR = "Karl J. Lieberherr and Arthur J. Riel",
  JOURNAL = joop,
  YEAR = "1988",
  TITLE = "Demeter: A {CASE} Study of Software Growth Through Parameterized Classes",
  VOLUME = 1,
  NUMBER = 3,
  MONTH = "August, September",
  PAGES = "8-22",
  NOTE = "A shorter version of this paper was presented at the
  {\em 10th International Conference on Software Engineering, Singapore, April 1988, IEEE Press},
  pages 254-264"
  }


@INPROCEEDINGS{tomorrow:case88,
  AUTHOR = "Karl J. Lieberherr and Arthur J. Riel",
  TITLE = "{The Demeter System: A Seed for the CASE Tool of Tomorrow}",
  BOOKTITLE = "Proceedings CASE 88 Workshop",
  YEAR = "1988",
  PUBLISHER = "Index Technology Corporation, Cambridge, MA",
  EDITOR = "Elliot Chikofsky",
  PAGES = "27.18-27.22"
  }


@INPROCEEDINGS{stepping-stones:teach,
TITLE = "Contributions to Teaching Object-Oriented Design and
Programming",
AUTHOR = "Karl J. Lieberherr and Arthur J. Riel",
YEAR = 1989,
PAGES = "11-22",
BOOKTITLE = oopsla,
MONTH = "October"
}


@INPROCEEDINGS{ian-karl:preventive,
  AUTHOR = "Karl J. Lieberherr and Ian Holland",
  TITLE = "Tools for preventive software maintenance",
  BOOKTITLE = csm,
  YEAR = 1989,
  PUBLISHER = ieee,
  PAGES = "2-13",
  ADDRESS = "Miami, Florida, October 16-19"
  }


@ARTICLE{lieber-nacho-pberg:se-p,
AUTHOR = "Karl J. Lieberherr and Paul Bergstein and Ignacio {Silva-Lepe}",
TITLE = "From objects to classes: Algorithms for object-oriented design",
JOURNAL = "Software Engineering Journal",
YEAR =  "1991",
MONTH = "July",
VOLUME = 6,
NUMBER = 4,
PAGES = "205-228"
}


@ARTICLE{benefits:law-89,
  AUTHOR = "Karl J. Lieberherr and Ian Holland",
  TITLE = "{Formulations and Benefits of the Law of Demeter}",
  JOURNAL = sigplan ,
  YEAR = 1989,
  PAGES = "67-78",
  MONTH = "March",
  VOLUME = 24,
  NUMBER = 3
}



@INPROCEEDINGS{lieber-nacho-pberg:conf,
AUTHOR = "Karl J. Lieberherr and Paul Bergstein and Ignacio {Silva-Lepe}",
TITLE = "Abstraction of Object-Oriented Data Models",
BOOKTITLE = er,
YEAR = "1990",
ADDRESS = "Lausanne, Switzerland",
PAGES = "81-94",
EDITOR = "Hannu Kangassalo",
PUBLISHER = "Elsevier"
}


@ARTICLE{IEETKDE:found-dm,
  AUTHOR = "Karl J. Lieberherr and Cun Xiao",
  TITLE = "{Formal Foundations for Object-Oriented Data Modeling}",
  JOURNAL = tkde,
  MONTH = "June",
  YEAR = 1993,
  VOLUME = 5,
  NUMBER = 3,
  PAGES = "462-478"
  }
%  NOTE = "accepted for publication May 1991",


@ARTICLE{huersch-seiter-xiao,
  AUTHOR = "Walter L. H{\"u}rsch and Linda M. Seiter and Cun Xiao",
  TITLE = "{In any CASE: Demeter}",
  JOURNAL = "The American Programmer",
  YEAR = 1991,
  PAGES = "46-56",
  MONTH = "October",
  VOLUME = "4",
  NUMBER = "10"
  }


@INPROCEEDINGS{lieber:sools-90,
  AUTHOR = "Karl Lieberherr and Paul Bergstein and Ignacio {Silva-Lepe}",
  TITLE = "Optimal and Efficient Abstraction of Single Inheritance Hierarchies",
  BOOKTITLE = "Symposium on Object-Oriented Languages and Systems",
  YEAR = "1990",
  ADDRESS = "Twente University (Inter-Actief and Computer Science)",
  PAGES = "1-24",
  PUBLISHER = "Inter-Actief, P.O. Box 217, 7500 Enschede, Netherlands"
  }

@INPROCEEDINGS{pberg-lieber:ecoop,
AUTHOR = "Paul Bergstein and Karl Lieberherr",
TITLE = "Incremental Class Dictionary Learning and Optimization",
BOOKTITLE = ecoop,
YEAR = "1991",
ADDRESS = "Geneva, Switzerland",
PAGES = "377-396",
PUBLISHER = "Springer Verlag Lecture Notes 512"
}

@INPROCEEDINGS{Paul:oopsla-1,
AUTHOR = "Paul Bergstein",
TITLE = "Object-Preserving Class Transformations",
BOOKTITLE = oopsla,
YEAR = "1991",
ADDRESS = "Phoenix, Arizona",
PAGES = "299-313",
PUBLISHER = "ACM Press",
NOTE = "SIGPLAN Notices, Vol. 26, No. 11, November"
}



@INCOLLECTION{demeter:ftp91,
AUTHOR = "Karl Lieberherr and 
Paul Bergstein and
Ian Holland and Walter H{\"u}rsch and Cristina Lopes and 
Yang Liu and
Doug Orleans and
Jens Palsberg and 
Boaz Patt-Shamir and
Salil Pradhan and
Ignacio {Silva-Lepe} and Linda Seiter and Mitchell Wand and Cun Xiao",
TITLE = "{Demeter papers, software and documentation}",
BOOKTITLE = "FTP distribution from ftp.ccs.neu.edu in pub/research/demeter,
WWW URL: http://www.ccs.neu.edu/research/demeter/",
PUBLISHER = "Northeastern University",
YEAR = "1989-1996"
}



@INPROCEEDINGS{oopsla-92:tut,
  AUTHOR = "Karl J. Lieberherr",
  TITLE = "Tutorial: Concepts of object-oriented data modelling and programming",
  BOOKTITLE = "OOPSLA '91 tutorial notes",
  YEAR = "1992",
  ADDRESS = "Phoenix, Arizona",
  PAGES = "",
  EDITOR = "",
  PUBLISHER = "",
  NOTE = "Full-day"
  }



@UNPUBLISHED{Walter:Users-guide,
  AUTHOR = "Walter L. H{\"u}rsch",
  TITLE = "User's Guide to the {Demeter Tools/C++}",
  NOTE = "C++ Demeter System Documentation",
  MONTH = "May",
  YEAR = "1991"
  }

@INPROCEEDINGS{holland-ecoop:92,
AUTHOR = "Ian M. Holland",
TITLE = "Specifying reusable components using contracts",
BOOKTITLE = ecoop,
YEAR = "1992",
ADDRESS = "Utrecht, Netherlands",
PAGES = "287-308",
PUBLISHER = "Springer Verlag Lecture Notes 615"
}


@INPROCEEDINGS{holland-more-examples:91,
AUTHOR = "Ian M. Holland",
TITLE = "Specifying reusable components using contracts",
BOOKTITLE = ecoop,
YEAR = "1992",
ADDRESS = "Utrecht, Netherlands",
PAGES = "287-308",
PUBLISHER = "Springer Verlag Lecture Notes 615"
}


@PHDTHESIS{holland:thesis93,
AUTHOR = "Ian M. Holland",
TITLE = "{The Design and Representation of Object-Oriented Components}",
SCHOOL = "Northeastern University",
YEAR = 1993
}

@PHDTHESIS{casais:thesis91,
AUTHOR = "Eduardo Casais",
TITLE = "Managing Evolution in Object-Oriented Environments:
An Algorithmic Approach",
SCHOOL = "University of Geneva",
YEAR = 1991
}


@INPROCEEDINGS{impl-team:case92,
AUTHOR = "Karl J. Lieberherr and Walter H{\"u}rsch and Ignacio {Silva-Lepe} and
Cun Xiao",
TITLE = "Experience with a Graph-Based Propagation Pattern Programming Tool",
BOOKTITLE = case,
YEAR = "1992",
ADDRESS = "Montr{\'e}al, Canada",
PAGES = "114-119",
EDITOR =      "Gene Forte et al.",
PUBLISHER = "IEEE Computer Society"
}
% adaptive

@INPROCEEDINGS{karl:comp-enh,
AUTHOR = "Karl J. Lieberherr",
BOOKTITLE = "Information Processing '92, 12th World Computer Congress",
TITLE = "Component Enhancement: An Adaptive Reusability Mechanism for Groups of Collaborating Classes",
YEAR = "1992",
ADDRESS = "Madrid, Spain",
PAGES = "179-185",
EDITOR = "J. van Leeuwen", 
PUBLISHER = "Elsevier" }
% adaptive


@TECHREPORT{lieber-tutorial:92,
  AUTHOR = "Karl J. Lieberherr",
  TITLE = "{The Demeter Method for Object-oriented Software Engineering}",
  INSTITUTION = "Northeastern University",
  YEAR = 1992,
  NOTE = "Tutorial Notes for OOPSLA '91, '92, ECOOP '92, ELECTRO '92, NTU '91, '92"
  }

@TECHREPORT{lieber-xiao-silva-lepe:91,
AUTHOR = "Karl Lieberherr and Cun Xiao and Ignacio {Silva-Lepe}",
TITLE = "Propagation Patterns: Graph-Based Specifications of Cooperative Behavior",
INSTITUTION = "Northeastern University",
YEAR = 1991,
MONTH = "September",
NUMBER = "NU-CCS-91-14",
}

%  TITLE = "Graph-Based Software Engineering:
%  Concise Specifications of Cooperative Behavior",
% in  ~lieber/papers/propagation-patterns
%  TITLE = "Propagation Patterns: Abbreviated Specifications of 
%  Cooperative Behavior",
%  NUMBER = "Demeter-8"

%
%
% subsection 1.2 
% For internal use
%


@TECHREPORT{lieber:kernel,
  AUTHOR = "Karl J. Lieberherr and Cun Xiao",
  INSTITUTION = "Northeastern University",
  YEAR = "1991",
  TITLE = "{The Demeter Kernel Model for Object-Oriented and Language Design}",
  MONTH = "April",
  NUMBER = "NU-CCS-90-11 (revised)"
  }
%  TITLE = "{The Demeter Notation: A 
%  Kernel Language for Object-Oriented Design}",


@BOOK{karl:demeter,
AUTHOR = "Karl J. Lieberherr",
TITLE = "Adaptive Object-Oriented Software:
The Demeter Method with Propagation Patterns",
PUBLISHER = "PWS Publishing Company, Boston", 
YEAR = "1996",
NOTE = "616 pages, ISBN 0-534-94602-X, entire book at www.ccs.neu.edu/research/demeter"
}

@ARTICLE{lieber-holland:generalize,
  AUTHOR = "Karl J. Lieberherr and Ian Holland",
  JOURNAL = "submitted for publication",
  YEAR = "1988",
  TITLE = "Building Reusable Software by Generalizing Examples",
  PAGES = "pages unknown"
  }

@UNPUBLISHED{submitted:lieber:kernel,
  AUTHOR = "Karl J. Lieberherr and Cun Xiao",
  TITLE = "{The Demeter Kernel Model for Object-Oriented and Language Design}",
  NOTE = "second revision under review by TOPLAS",
  MONTH = "June",
  YEAR =  1991
  }

@UNPUBLISHED{f-lang-oo:karl-cun,
  AUTHOR = "Karl J. Lieberherr and Cun Xiao",
  TITLE = "Foundations of Object-Oriented and Language Design",
  NOTE = "submitted for publication",
  MONTH = "June",
  YEAR = 1993 
  }

@UNPUBLISHED{lieber:prog-des,
  AUTHOR = "Karl J. Lieberherr",
  NOTE = "submitted for publication",
  YEAR = "1988",
  TITLE = "Object-Oriented Program Design",
  PAGES = "pages unknown"
  }

@ARTICLE{lieber-specker:partial-1,
TITLE = "Complexity of Partial Satisfaction",
AUTHOR = "Karl J. Lieberherr and
Ernst Specker",
JOURNAL = jacm,
YEAR = 1981,
PAGES = "411-421",
VOLUME = 28,
NUMBER = 2
}

@ARTICLE{lieber:algorithms,
  AUTHOR = "Karl J. Lieberherr",
  TITLE = "Algorithmic extremal problems
  in combinatorial optimization",
  JOURNAL = "Journal of Algorithms",
  YEAR = 1982,
  PAGES = "225-244",
  VOLUME = 3
  }

@ARTICLE{lieber-vavasis:dortmund,
  AUTHOR = "Karl J. Lieberherr and
  S. Vavasis",
  TITLE = "Analysis of polynomial approximation algorithms for
  constraint expressions",
  JOURNAL = lncs,
  YEAR = 1983,
  PAGES = "187-197",
  VOLUME = 145 
  }

@TECHREPORT{karl-ian:formulations-88,
  AUTHOR = "Karl J. Lieberherr and Ian Holland",
  TITLE = "{Formulations of the Law of Demeter}",
  INSTITUTION = "Northeastern University",
  YEAR = 1988,
  MONTH = "June",
  NUMBER = "Demeter-2",
  NOTE = "12 pages"
  }

@ARTICLE{german-lieber:1985,
  AUTHOR = "Steven M. German and Karl J. Lieberherr",
  TITLE = "Zeus: A Language for Expressing Algorithms in Hardware",
  JOURNAL = ieee-computer,
  YEAR = 1985,
  PAGES = "55-65",
  MONTH = "February"
  }

@ARTICLE{sandy-andrew-karl:silic,
  AUTHOR = "A. V. Goldberg and S. S. Hirschhorn and Karl J. Lieberherr",
  TITLE = "Approaches towards silicon compilation",
  JOURNAL = "IEEE Circuits and Devices",
  YEAR = 1985,
  PAGES = "29-39",
  MONTH = "May"
  }

@TECHREPORT{lieber:89-10,
  AUTHOR = "Karl J. Lieberherr",
  TITLE = "Class Modules: An Integration of Classes, Modules, and Macro
  Grammars for Object-Oriented Design",
  INSTITUTION = "Northeastern University",
  YEAR = 1989,
  MONTH = "Feb.",
  NUMBER = "NU-CCS-89-10"
  }

@TECHREPORT{lieber:89-11,
  AUTHOR = "Karl Lieberherr and Carl Woolf",
  TITLE = "Grammar-Based Planning for Object-Oriented Applications",
  INSTITUTION = "Northeastern University",
  YEAR = 1989,
  MONTH = "Feb.",
  NUMBER = "NU-CCS-89-11"
  }

@TECHREPORT{lieber-c++:86,
  AUTHOR = "Karl J. Lieberherr",
  TITLE = "CASE for C++: Mappings of high-level class definitions",
  INSTITUTION = "Northeastern University",
  YEAR = 1989,
  MONTH = "June",
  NUMBER = "?"
  }
  %TITLE = "Grammar-based CASE for C++",

@UNPUBLISHED{karl:formal-dem,
  AUTHOR = "Karl J. Lieberherr",
  TITLE = "A concise definition of the concepts of object-oriented design",
  NOTE = "manuscript",
  MONTH = "June",
  YEAR = 1989
  }

@UNPUBLISHED{karl:object-patterns,
  AUTHOR = "Karl J. Lieberherr and Tony Kanawati",
  TITLE = "Object-patterns: a refinement of classes",
  NOTE = "manuscript",
  MONTH = "Feb.",
  YEAR = 1989
  }

@TECHREPORT{lieber-nacho-pberg:90,
  AUTHOR = "Karl J. Lieberherr and Paul Bergstein and Ignacio {Silva-Lepe}",
  TITLE = "From objects to classes: Algorithms for object-oriented design",
  INSTITUTION = "Northeastern University",
  YEAR = 1990,
  MONTH = "January",
  NUMBER = "Demeter-3"
  }

%  PAGES = "?",
%  MONTH = "?",
%  VOLUME = "?",
%  NUMBER = "?",
@TECHREPORT{poly-lieber-nacho-pberg:90,
  AUTHOR = "Karl J. Lieberherr and Paul Bergstein and Ignacio {Silva-Lepe}",
  TITLE = "Optimal and Efficient Abstraction of Classes from Objects",
  INSTITUTION = "Northeastern University",
  YEAR = 1990,
  MONTH = "January",
  NUMBER = "NU-CCS-90-6, revised Jan. 91"
  }

@UNPUBLISHED{submitted:eff-abs,
  AUTHOR = "Karl J. Lieberherr and Paul Bergstein and Ignacio {Silva-Lepe}",
  TITLE = "Optimal and Efficient Abstraction of Classes from Objects",
  NOTE = "submitted to ACM Transations on Information Systems who
  did forward to Journal of the ACM",
  MONTH = "September",
  YEAR =  1990
  }

@INPROCEEDINGS{repr:speck,
  AUTHOR = "Karl Lieberherr and Ernst Specker",
    TITLE = "Complexity of Partial Satisfaction",
BOOKTITLE = "Ernst Specker Selecta",
YEAR = "1990",
PAGES = "310-320",
EDITOR = "Gerhard J{\"a}ger and Hans L{\"a}uchli and Bruno Scarpellini and
Volker Strassen",
PUBLISHER = "Birkh{\"a}user Verlag, Basel, Boston, Berlin"
}

@UNPUBLISHED{submitted-IEETKDE:found-dm,
  AUTHOR = "Karl J. Lieberherr and Cun Xiao",
  TITLE = "Formal foundations for object-oriented data modelling",
  NOTE = "first revision under review by IEEE Transactions on Knowledge and Data Engineering",
  MONTH = "March",
  YEAR = 1991
  }

@TECHREPORT{cunxiao:90,
  AUTHOR = "Karl J. Lieberherr and Cun Xiao",
  TITLE = "Efficient checking of object-oriented designs",
  INSTITUTION = "Northeastern University",
  YEAR = 1990,
  MONTH = "April",
  NUMBER = "Demeter-5"
  }

@TECHREPORT{lieber-steck:90,
  AUTHOR = "Karl Lieberherr and Paul Steckler",
  TITLE = "Propagation Patterns: A formal tool for \oo\ design",
  INSTITUTION = "Northeastern University",
  YEAR = 1990,
  MONTH = "September",
  NUMBER = "Demeter-6"
  }



@TECHREPORT{lieber-gr:90,
  AUTHOR = "Karl Lieberherr",
TITLE = "{Object-Oriented Software Evolution}",
  INSTITUTION = "Northeastern University",
  YEAR = 1990,
  MONTH = "August",
  NUMBER = "Demeter-7"
  }


@ARTICLE{submitted:growth-plan,
AUTHOR = "Karl J. Lieberherr and Cun Xiao",
TITLE = "{Object-Oriented Software Evolution}",
JOURNAL = ieee-se,
YEAR = 1993,
PAGES = "313-343",
MONTH = "April",
VOLUME = "19" ,
NUMBER = "4"
}

%  NOTE = "rename 
%    ``partial class dictionary graph'' by 
%      ``class dictionary graph slice'' and 
%    ``containment path'' by 
%      ``knowledge path'' and 
%    ``primary'' by 
%      ``wrapper''"

% adaptive
%  AUTHOR = "Karl Lieberherr",
%  TITLE = "{Formal Techniques for Planning the Design and Implementation of Object-Oriented Applications}",
%  NOTE = "Second revision under review by IEEE Transactions on Software Engineering",
%  MONTH = "December",
%  YEAR =  1990
%  }


@TECHREPORT{lieber-step-new:91,
  AUTHOR = "Karl J. Lieberherr",
  TITLE = "The Stepping Stones to Object-Oriented Design and Programming",
  INSTITUTION = "Northeastern University",
  YEAR = 1991,
  MONTH =  "Sep.",
  NUMBER = "?"
  }

@TECHREPORT{team-91-exp:91,
  AUTHOR = "Karl J. Lieberherr and
  Paul Bergstein and
  Walter H{\"u}rsch and
  Ignacio {Silva-Lepe} and
  Cun Xiao",
  TITLE = "{Experience with object-oriented CASE}",
  INSTITUTION = "Northeastern University",
  YEAR = 1991,
  MONTH = "June",
  NUMBER = "?"
  }

@TECHREPORT{mukherjea:91,
  AUTHOR = "Karl Lieberherr and Walter H{\"u}rsch and Sougata Mukherjea",
  TITLE = "Optimal and Efficient Schema Abstraction",
  INSTITUTION = "Northeastern University",
  YEAR = 1991,
  MONTH = "June",
  NUMBER = ""
  }


@TECHREPORT{lieber:gp-pcdg,
  AUTHOR = "Karl J. Lieberherr",
  TITLE = "Controlling the Evolution of Object-Oriented Applications",
  INSTITUTION = "Northeastern University",
  YEAR = 1991,
  MONTH = "August",
  NUMBER = "?"
  }

@TECHREPORT{lieber-mit:84,
  AUTHOR = "Karl J. Lieberherr",
  TITLE = "{Report on the Hardware Description Language Zeus}",
  INSTITUTION = "Massachusetts Institute of Technology",
  YEAR = 1984,
  MONTH = "October",
  NUMBER = "84-209"
  }


@TECHREPORT{meta-graphs:91,
  AUTHOR = "Karl J. Lieberherr and Walter L. H{\"u}rsch and Cun Xiao",
  TITLE = "Object-Extending Class Transformations",
  INSTITUTION = "Northeastern University",
  YEAR = 1991,
  MONTH = "July",
  NUMBER = "NU-CCS-91-8"
  }


@ARTICLE{lieber-shdl:Zeus,
AUTHOR = "Karl J. Lieberherr",
TITLE = "Toward a Standard Hardware Description Language",
JOURNAL = dandt,
YEAR = 1985,
PAGES = "55-62",
MONTH = "February",
VOLUME = 2,
NUMBER = 1
}




@TECHREPORT{karl:comp-enh-adapt,
  TITLE = "Component Enhancement: An Adaptive Reusability Mechanism for Groups of Collaborating Classes",
  AUTHOR = "Karl J. Lieberherr",
  INSTITUTION = "Northeastern University",
  YEAR = 1992,
  MONTH = "January",
  NUMBER = ""
  }


@INPROCEEDINGS{nacho:abstraction-92,
  AUTHOR    = "Ignacio {Silva-Lepe}",
  TITLE     = "Abstracting Graph-Based Specifications of Object-Oriented Programs",
  BOOKTITLE = sac,
  YEAR      = 1994,
  PUBLISHER = acm,
  PAGES     = "",
  ADDRESS   = "Phoenix, Arizona",
  NOTE      = "Accepted for publication, also available as Technical Report NU-CCS-92-4, Northeastern University"
}


%  AUTHOR = "Ignacio {Silva-Lepe}",
%  TITLE = "Abstracting Graph-Based Specifications of Object-Oriented Programs",
%  INSTITUTION = "Northeastern University",
%  YEAR = 1992,
%  MONTH = "January",
%  NUMBER = "NU-CCS-92-4"




@ARTICLE{lieber:pp-res,
  AUTHOR = "Karl J. Lieberherr",
  TITLE = "Research on Graph-Propagation Programming: A New Method for Object-Oriented Software Development",
  JOURNAL = oopsm,
  YEAR = 1992,
  PAGES = "",
  MONTH = "Fall",
  VOLUME = "" ,
  NUMBER = "",
  NOTE = "submitted"
  }


@TECHREPORT{derived-edges-with-greg,
  AUTHOR = "Karl J. Lieberherr and Greg T. Sullivan",
  TITLE = "Procedural extensions of class dictionary graphs",
  INSTITUTION = "Northeastern University",
  YEAR = 1992,
  MONTH = "March",
  NUMBER = "Demeter-9"
  }


@ARTICLE{zeus-closure:hdl-zeus,
  AUTHOR = "Karl J. Lieberherr",
  TITLE = "{The Hardware Description Language Zeus}",
  JOURNAL = dandt ,
  YEAR = 1992,
  PAGES = "60-62",
  MONTH = "September"
  }


@TECHREPORT{teaching:92,
  AUTHOR = "Karl J. Lieberherr",
  TITLE = "{Learning Object-Oriented Software Development with the Demeter Method}",
  INSTITUTION = "Northeastern University",
  YEAR = 1992,
  MONTH = "March",
  NUMBER = "Demeter-10"
  }



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%
% Programming Languages
%

@INPROCEEDINGS{solomon:param,
  AUTHOR = "M. Solomon",
  TITLE = "Type definitions with parameters",
  BOOKTITLE = "Principles of Programming Languages",
  YEAR = "1978",
  PAGES ="31-38",
  ADDRESS = "Tucson, Arizona"
  }


@BOOK{goldberg:smalltalk-l-i,
  AUTHOR = "Adele Goldberg and David Robson",
  TITLE = "Smalltalk-80: The Language and its Implementation",
  PUBLISHER = "Addison-Wesley",
  YEAR = "1983"
  }

@ARTICLE{wirth:ebnf,
TITLE = "What can we do about the unnecessary diversity of notation for syntactic definitions?",
AUTHOR = "Niklaus Wirth",
JOURNAL = cacm,
VOLUME = 20,
NUMBER = 11,
PAGES = "822-823",
YEAR = 1977
}

@BOOK{stone:pdl,
  AUTHOR = "R.G. Stone and D.J. Cooke",
  TITLE = "Program Construction",
  PUBLISHER = "Cambridge University Press", 
  YEAR = "1987", 
  SERIES = "Cambridge Computer Science Texts",
  VOLUME = "22"
  }

@ARTICLE{cardelli-wegner:types-85,
  AUTHOR = "L. Cardelli and P. Wegner",
  TITLE = "On understanding types, data abstraction, and polymorphism",
  JOURNAL = "ACM Computing Surveys",
  VOLUME = 17,
  NUMBER = 4,
  MONTH = "December",
  PAGEs = 471,
  YEAR = 1985
  }


@UNPUBLISHED{wegner-zdonik:like-87,
  AUTHOR = "Peter Wegner and Stanley B. Zdonik",
  TITLE = "Type similarity, inheritance, and evolution or: What `like' is and isn't like",
  NOTE = "Technical report, Brown University",
  YEAR = 1987
  }

@INCOLLECTION{wegner:wegner-87,
  AUTHOR = "Peter Wegner",
  TITLE = "The Object-Oriented Classification Paradigm",
  BOOKTITLE = wegner,
  PAGES = "479-560",
  PUBLISHER = mit,
  YEAR = 1987,
  EDITOR = "Bruce Shriver and Peter Wegner"
  }


@INCOLLECTION{goguen-meseguer:wegner-87,
  AUTHOR = "Joseph A. Goguen and Jose Meseguer",
  TITLE = "Unifying Functional, Object-Oriented and Relational Programming with
  Logical Semantics",
  BOOKTITLE = wegner,
  PAGES = "417-477",
  PUBLISHER = mit,
  YEAR = 1987,
  EDITOR = "Bruce Shriver and Peter Wegner"
  }

@INPROCEEDINGS{mishra-reddy:84,
  AUTHOR = "P. Mishra and U. S. Reddy",
  TITLE = "Declaration-free type checking",
  BOOKTITLE = popl,
  PAGES = "7-21",
  YEAR = 1984
  }

@INPROCEEDINGS{briot-cointe:objvlisp-86,
  AUTHOR = "J.P. Briot and P. Cointe",
  TITLE = "The {OBJVLISP} Project: definition of a uniform self-described and
  extensible object-oriented language",
  BOOKTITLE = "European Conference on Artificial Intelligence",
  YEAR = 1986,
  ADDRESS = "Brighton, UK"
  }

@INPROCEEDINGS{marcke:inheritance-88,
  AUTHOR = "Kris Van Marcke",
  TITLE = "Towards explicit inheritance schemes",
  BOOKTITLE = hicss,
  YEAR = 1988,
  PAGES = "386-395"
  }


@INPROCEEDINGS{wegner:dim-87,
  AUTHOR = "Peter Wegner",
  TITLE = "Dimensions of Object-Based Language Design",
  BOOKTITLE = oopsla,
  YEAR = "1987",
  PAGES = "168-182",
  PUBLISHER = "ACM",
  VOL = 22,
  NUMBER = 12
  }

@INPROCEEDINGS{sakkinen:dis-inh-88,
  AUTHOR = "Markku Sakkinen",
  TITLE = "Disciplined inheritance",
  BOOKTITLE = ecoop,
  YEAR = 1989
  }
%  PAGES = "?"

@INPROCEEDINGS{fischer:macro-68,
  AUTHOR = "Michael J. Fischer",
  TITLE = "Grammars with macro-like productions",
  BOOKTITLE = "Proceedings 9th IEEE Conference on Switching and
  Automata Theory",
  YEAR = "1968",
  NOTE = "Ph.D. Thesis, 1968, Harvard University, Cambridge, MA",
  PAGES = "131-142"
  }

@INPROCEEDINGS{ecoop-peter:inh-88,
  AUTHOR = "Peter Wegner and Stanley B. Zdonik",
  TITLE = "Inheritance as an Incremental Modification Mechanism or What
  Like Is and Isn't Like",
  BOOKTITLE = ecoop,
  YEAR = "1988",
  PAGES = "55-77",
  PUBLISHER = "Springer Verlag"
  }

%COLLECT


@BOOK{kaehler-patterson:taste,
  TITLE = "{A Taste of Smalltalk}",
  AUTHOR = "Ted Kaehler and Dave Patterson",
  PUBLISHER = "Norton",
  YEAR = "1986"
  }
@BOOK{budd:smalltalk,
  TITLE = "A Little Smalltalk",
  AUTHOR = "Timothy Budd",
  PUBLISHER = "Addison-Wesley",
  YEAR = "1987"
  }

@BOOK{budd:oop,
  TITLE = "An Introduction to Object-Oriented Programming",
  AUTHOR = "Timothy Budd",
  PUBLISHER = "Addison-Wesley",
  YEAR = "1991"
  }

@INPROCEEDINGS{kempf:kee,
  TITLE = "Teaching Object-Oriented Programming with the {Kee} System",
  AUTHOR = "Renate Kempf and Marilyn Stelzner",
  YEAR = "1987",
  BOOKTITLE = oopsla,
  ADDRESS = "Orlando, Florida",
  PAGES ="11-25"
  }

@ARTICLE{andrews:sr-88,
  AUTHOR = "Gregory R. Andrews and Ronald A. Olssson and Michael Coffin and
  Irving Elshoff and Kelvin Nilsen and Titus Purdin and Gregg Townsend",
  TITLE = "An Overview of the {SR} Language",
  JOURNAL = toplas,
  YEAR = 1988,
  PAGES = "51-86",
  MONTH = "January",
  VOLUME = 10,
  NUMBER = 1
  }


@ARTICLE{albano-cardelli:conceptual-85,
  AUTHOR = "A. Albano and L. Cardelli and R. Orsini",
  TITLE = "Galileo: A strongly-typed, interactive conceptual language",
  JOURNAL = tdb,
  YEAR = "June, 1985",
  PAGES = "230 - 260",
  VOLUME = 10,
  NUMBER = 2
  }

@INPROCEEDINGS{borning:param-82,
  AUTHOR = "A. H. Borning and D.H.H. Ingalls",
  TITLE = "{A Type Declaration and Inference System for Smalltalk}",
  BOOKTITLE = popl,
  YEAR = "1982",
  PAGES = "133"
  }

@INPROCEEDINGS{schaffert:trellis-86,
  AUTHOR = "Craig Schaffert and Topher Cooper and Bruce Bullis and Mike Kilian and Carrie Wilpolt",
  TITLE = "An Introduction to {Trellis/Owl}",
  BOOKTITLE = oopsla,
  YEAR = "1986",
  PAGES = "9-16"
  }
  % DOUBLE ENTRY

@INPROCEEDINGS{meyer:param-86,
  AUTHOR = "B. Meyer",
  TITLE = "Genericity versus Inheritance",
  BOOKTITLE = oopsla,
  YEAR = "1986",
  PAGES = "391-405"
  }

@ARTICLE{goguen:foops-86,
  AUTHOR = "J. Goguen and J. Meseguer",
  TITLE = "Extensions and Foundations of Object-Oriented Programming",
  JOURNAL = sigplan ,
  YEAR = 1986,
  MONTH = "October",
  VOLUME = 21,
  NUMBER = 10
  }

@ARTICLE{liskov:abstr-77,
  AUTHOR = " B. Liskov and A. Snyder and R. Atkinson and C. Schaffert",
  TITLE = "{Abstraction mechanisms in CLU}",
  JOURNAL = commACM ,
  YEAR = 1977,
  PAGES = "564-576",
  MONTH = "August",
  VOLUME = 20,
  NUMBER = 8
  }

@ARTICLE{thatcher:param-82,
  AUTHOR = "J.W. Thatcher and E.G. Wagner and J.B. Wright",
  TITLE = "Data Type Specification: Parameterization and the Power
     of Specification techniques",
  JOURNAL = toplas,
  YEAR = 1982,
  PAGES = "711-732"
  }

@ARTICLE{dahl-nygaard:simula-67,
  AUTHOR = "O.J. Dahl and  B. Myhrhaug and K. Nygaard ",
  TITLE = "{SIMULA 67 Common Base Language}",
  JOURNAL = "Publication Number S-22, Norwegian Computing Center",
  YEAR = 1970,
  MONTH = "October"
  }


@INPROCEEDINGS{moon:flavors,
  AUTHOR = "David A. Moon",
  TITLE = "{Object-Oriented Programming with Flavors}",
  BOOKTITLE = oopsla,
  YEAR = "1986",
  ADDRESS = "Portland, OR",
  PAGES = "1-8"
  }

@BOOK{stroustrup:c++,
  AUTHOR = "B. Stroustrup",
  TITLE = "The C++ Programming Language",
  PUBLISHER = "Addison-Wesley", 
  YEAR = 1986 
  }

@BOOK{ellis:stroustrup,
  AUTHOR = "Margaret A. Ellis and Bjarne Stroustrup",
  TITLE = "The Annotated C++ Reference Manual",
  PUBLISHER = "Addison-Wesley", 
  YEAR = 1990
  }

@BOOK{lippman:c++,
  AUTHOR = "S.B. Lippman",
  TITLE = "C++ Primer ",
  PUBLISHER = "Addison-Wesley", 
  YEAR = 1989,
  NOTE = "Second edition"
  }

@TECHREPORT{thomsen-override:86,
  AUTHOR = "K. S. Thomsen",
  TITLE = "Multiple Inheritance, a structuring mechanism for
     data, processes and procedures",
  INSTITUTION = "University of Aarhus, Denmark",
  YEAR = 1986,
  MONTH = "April",
  NUMBER = "DAIMI PB - 209"
  }

@INPROCEEDINGS{wirth-lang-des:ifip-74,
  AUTHOR = "Niklaus Wirth",
  TITLE = "On the Design of Programming Languages",
  BOOKTITLE = "IFIP, Amsterdam",
  YEAR = "1974",
  PAGES = "386-393",
  PUBLISHER = "North-Holland"
  }

@ARTICLE{wirth:pascal-acta-71,
  AUTHOR = "Niklaus Wirth",
  TITLE = "{The Programming Language Pascal}",
  JOURNAL = "Acta Informatica",
  YEAR = 1971,
  PAGES = "35-63",
  VOLUME = 1
  }


@ARTICLE{sestoft:biblio-88,
  AUTHOR = "Peter Sestoft and Harald S{\o}ndergaard",
  TITLE = "A bibliography on partial evaluation",
  JOURNAL = sigplan,
  YEAR = 1988,
  PAGES = "19-27",
  MONTH = "February",
  VOLUME = 23,
  NUMBER = 2
  }


@ARTICLE{futamura:partial-71,
  AUTHOR = "Y. Futamura",
  TITLE = "Partial evaluation of computation processes - an approach
  to a compiler-compiler",
  JOURNAL = "Systems, Computers, Controls",
  YEAR = 1971,
  PAGES = "721-728",
  VOLUME = 2,
  NUMBER = 5
  }

@INPROCEEDINGS{jones:partial-85,
  AUTHOR = "N.D. Jones and P. Sestoft and H. S{\o}ndergaard",
  TITLE = "An Experiment in Partial Evaluation: the Generation of
  a Compiler Generator",
  BOOKTITLE = lncs,
  YEAR = "1985",
  PAGES = "124-140",
  VOLUME = 202
  }

@BOOK{dragon-book,
  AUTHOR = "Alfred V. Aho and Ravi Sethi and Jeffrey D. Ullman",
  TITLE = "Compilers: Principles, Techniques
  and Tools",
  PUBLISHER = "Addison-Wesley", 
  YEAR = "1986" 
  }

@INPROCEEDINGS{suzuki:types-81,
  AUTHOR = "N. Suzuki",
  TITLE = "{Inferring types in Smalltalk}",
  BOOKTITLE = popl,
  YEAR = "1981",
  PAGES = "187-199"
  }


@INPROCEEDINGS{johnson:type-check,
  AUTHOR = "R.E. Johnson",
  TITLE = "{Type-Checking Smalltalk}",
  BOOKTITLE = oopsla,
  YEAR = "1986",
  ADDRESS = "Portland, OR",
  PAGES = "315-321",
  PUBLISHER = sigplan
  }

@INPROCEEDINGS{turner:reflect,
  AUTHOR = "D.A. Turner",
  TITLE = "Functional programs as executable specifcations",
  YEAR = "1985",
  PAGES = "29-49",
  EDITOR = "C.A.R. Hoare and J.C. Shepherdson",
  BOOKTITLE = "Mathematical Logic and Programming Languages",
  PUBLISHER = "Prentice-Hall International"
  }


@ARTICLE{burstall:induction,
  AUTHOR = "R.M. Burstall",
  TITLE = "Proving properties of programs by structural induction",
  JOURNAL = "Computer Journal",
  YEAR = 1969,
  PAGES = "41-48",
  VOLUME = 12 
  }


@INPROCEEDINGS{hoare:programs-predicates,
  AUTHOR = "C.A.R. Hoare",
  TITLE = "Programs as Predicates",
  YEAR = "1985",
  PAGES = "141-155",
  EDITOR = "C.A.R. Hoare and J.C. Shepherdson",
  BOOKTITLE = "Mathematical Logic and Programming Languages",
  PUBLISHER = "Prentice-Hall International"
  }

@ARTICLE{macqueen:ml-85,
  AUTHOR = "D. MacQueen",
  TITLE = "{Modules for standard ML}",
  JOURNAL = "Polymorphism Newsletter",
  YEAR = 1985,
  MONTH = "October",
  VOLUME = 2,
  NUMBER = 2
  }


@INPROCEEDINGS{mitchell:ml-88,
  AUTHOR = "John C. Mitchell and Robert Harper",
  TITLE = "{The essence of ML}",
  BOOKTITLE = popl,
  YEAR = 1988,
  PAGES = "pages unknown"
  }

@ARTICLE{milner:unification-78,
  AUTHOR = "R. Milner",
  TITLE = "A Theory of Type Polymorphism in Programming",
  JOURNAL = "J. Comp. and Sys. Sci.",
  YEAR = 1978,
  PAGES = "348-375",
  VOLUME = 17
  }

@INPROCEEDINGS{cardelli:mult-84,
  AUTHOR = "Luca Cardelli",
  TITLE = "A semantics of multiple inheritance",
  BOOKTITLE = "Semantics of Data Types",
  YEAR = "1984",
  PUBLISHER = "Springer Verlag",
  PAGES = "51-67",
  EDITOR = "Gilles Kahn and David MacQueen and Gordon Plotkin"
  }


@INPROCEEDINGS{wand:type-inf-obj-87,
  AUTHOR = "Mitchell Wand",
  TITLE = "Complete type inference for simple objects",
  BOOKTITLE = "Proceedings 2nd IEEE Synposium on Logic in Computer Science",
  YEAR = "1987",
  PAGES = "37-44"
  }

@INPROCEEDINGS{stansifer:type-88,
  AUTHOR = "Ryan Stansifer",
  TITLE = "Type inference with subtypes",
  BOOKTITLE = popl,
  YEAR = "1988",
  PAGES = "88-97",
  PUBLISHER = "ACM-SIGACT-SIGPLAN"
  }


@UNPUBLISHED{wirth:oberon-88,
  AUTHOR = "N. Wirth",
  TITLE = "{From Modula to Oberon}",
  NOTE = "manuscript",
  MONTH = "January",
  YEAR = "1988"
  }


@ARTICLE{wirth:type-ext-88,
  AUTHOR = "Niklaus Wirth",
  TITLE = "Type Extensions",
  JOURNAL = toplas,
  YEAR = 1988,
  PAGES = "204-214",
  MONTH = "April",
  VOLUME = 10,
  NUMBER = 2
  }


@INPROCEEDINGS{takeuchi:ip-86,
  AUTHOR = "A. Takeuchi",
  TITLE = "Affinity between meta interpreters and partial evaluation",
  BOOKTITLE = "Information Processing 86",
  EDITOR = "H.J. Kugler",
  PUBLISHER = "North Holland",
  YEAR = 1986,
  PAGES = "279-282"
  }

@INPROCEEDINGS{takeuchi-furukawa:ip-86,
  AUTHOR = "A. Takeuchi and K. Furukawa",
  TITLE = "{Partial evaluation of Prolog programs and its application to
  meta programming}",
  BOOKTITLE = "Information Processing 86",
  EDITOR = "H.J. Kugler",
  PUBLISHER = "North Holland",
  YEAR = 1986,
  PAGES = "415-420"
  }

@INPROCEEDINGS{sestoft:lncs-217,
  AUTHOR = "P. Sestoft",
  TITLE = "The structure of a self-applicable partial evaluator",
  BOOKTITLE = "Programs as Data Objects, Copenhagen, Denmark",
  EDITOR = "H. Ganzinger and N.D. Jones",
  PUBLISHER = lncs,
  YEAR = 1986,
  PAGES = "236-256",
  NUMBER = 217
  }

@ARTICLE{beckman:first-76,
  AUTHOR = "L. Beckman",
  TITLE = "A partial evaluator and its use as a programming tool",
  JOURNAL = "Artificial Intelligence",
  VOLUME = 7,
  NUMBER = 4,
  YEAR = 1976,
  PAGES = "319-357"
  }


@UNPUBLISHED{mitch:book,
  AUTHOR = "D.P. Friedman and
     C.T. Hayes and
	   M. Wand",
  TITLE = "Essentials of Programming Languages",
  NOTE = "MIT Press/McGraw-Hill",
  YEAR = "1992"
  }


@INPROCEEDINGS{wand:sps,
  AUTHOR = "Mitchell Wand",
  TITLE = "A Semantic ProtoTyping System",
  BOOKTITLE = "Proceedings ACM SIGPLAN '84 Compiler Construction Conference",
  YEAR = "1984",
  PAGES = "213-221"
  }


@INPROCEEDINGS{burstall-lampson:1984,
  AUTHOR = "R. Burstall and B. Lampson",
  TITLE = "A kernel language for abstract data types and modules",
  BOOKTITLE = "Proc. International Symposium on the Semantics of Data Types",
  YEAR = "1984",
  ADDRESS = "Sophia-Antipolis, France"
  }



@INPROCEEDINGS{nijholt:1981,
  AUTHOR = "Anton Nijholt",
  TITLE = "Parsing Strategies: A concise survey",
  YEAR = "1981",
  VOLUME = 118,
  BOOKTITLE = "Mathematical Foundations of Computer Science, Strbske Pleso,
    Czechoslovakia",
  PAGES = "103-120",
  EDITOR = "J. Gruska and M. Chytil",
  PUBLISHER = lncs,
  NOTE = "LL(1) equivalence problem: see page 117"
  }

@INPROCEEDINGS{schaffert:trellis-owl-1986,
  AUTHOR = "Craig Schaffert and Topher Cooper and Bruce Bullis and Mike Kilian
  and Carrie Wilpot",
  TITLE = "An introduction to {Trellis/Owl}",
  BOOKTITLE = oopsla,
  YEAR = "1986",
  ADDRESS = "Portland, OR",
  PAGES = "9-16",
  PUBLISHER = "ACM SIGPLAN Notices",
  NOTE = "Vol. 21, November"
  }



%
%
%  Application generators
%

%COLLECT
@INPROCEEDINGS{andrew:gem,
AUTHOR = "A.V. Goldberg and K.J. Lieberherr",
TITLE = "{GEM: A generator of environments for metaprogramming}",
BOOKTITLE = "SOFTFAIR II, ACM/IEEE Conference on Software Tools", 
ADDRESS ="San Francisco",
YEAR = 1985,
PAGES = "86-95"
}


%
%
%  Software Enginerring
%

%COLLECT

@ARTICLE{brooks:silver,
  AUTHOR = "Frederick P. Brooks",
  TITLE = "No Silver Bullet, Essence and Accidents of Software Engineering",
  JOURNAL = "IEEE Computer Magazine",
  YEAR = "1987",
  PAGES = "10-19",
  MONTH = "April"
  }

@INPROCEEDINGS{mills:grow-71,
  AUTHOR = "H.D. Mills",
  TITLE = "Top-Down Programming in Large Systems",
  BOOKTITLE = "Debugging Techniques in Large Systems", 
  EDITOR = "R. Ruskin",
  PUBLISHER = "Prentice-Hall",
  YEAR = "1971"
  }

%COLLECT


@BOOK{frege:begriffsschrift,
  TITLE = "From Frege to {G\"odel}",
  AUTHOR = "J.V. Heijenoort",
  PUBLISHER = "Harvard University Press",
  YEAR = "1967"
  }
@BOOK{cox:oop,
  TITLE = "Object-Oriented Programming, An evolutionary approach",
  AUTHOR = "Brad J. Cox",
  PUBLISHER = "Addison-Wesley",
  YEAR = "1986"
  }


@ARTICLE{john-diane:abstr-77,
  AUTHOR = "J.M. Smith and D.C.P. Smith",
  TITLE = "Database Abstractions: Aggregation and Generalization",
  JOURNAL = "ACM Transactions on Database Systems",
  VOLUME = 2,
  NUMBER = 2,
  MONTH = "June",
  YEAR = 1977
  }

@ARTICLE{balzer:sigsoft-86,
  AUTHOR = "R.N. Balzer",
  TITLE = "Program enhancement",
  JOURNAL = "ACM SIGSOFT Software Engineering Notes",
  VOLUME = 11,
  Number = 4,
  YEAR = 1986,
  PAGES = 66
  }
@ARTICLE{borgida:spec-85,
  AUTHOR = "A. Borgida and S. Greenspan and J. Mylopoulos",
  TITLE = "Knowledge representation as the basis for requirements specifications",
  JOURNAL = "IEEE Computer Magazine",
  MONTH="April",
  YEAR = 1985
  }

@INPROCEEDINGS{madsen-norgard:hicss-88,
  AUTHOR = "Ole Lehrmann Madsen and Claus N{\o}rgaard",
  TITLE = "An object-oriented metaprogramming system",
  BOOKTITLE = hicss,
  PAGES = "406-415",
  YEAR = 1988
  }

@INCOLLECTION{reiss:wegner-87,
  AUTHOR = "Steven P. Reiss",
  TITLE = "On object-oriented Framework for Conceptual Programming",
  BOOKTITLE = wegner,
  PAGES = "189-218",
  PUBLISHER = mit,
  YEAR = 1987,
  EDITOR = "Bruce Shriver and Peter Wegner"
  }
@INCOLLECTION{snyder:wegner-87,
  AUTHOR = "Alan Snyder",
  TITLE = "Inheritance and the Development of Encapsulated Software Systems",
  BOOKTITLE = wegner,
  PAGES = "147-164",
  PUBLISHER = mit,
  YEAR = 1987,
  EDITOR = "Bruce Shriver and Peter Wegner"
  }

@BOOK{pressman:software-87,
  AUTHOR = "Roger S. Pressman",
  TITLE = "Software Engineering: A practitioner's approach, Second edition",
  PUBLISHER = graw,
  YEAR = 1987
  }

@UNPUBLISHED{lorenson:ood-86,
  TITLE = "Object-Oriented Design, {CRD} Software Engineering Guidelines",
  AUTHOR = "W. Lorenson",
  NOTE = "General Electric Co.",
  YEAR = "1986"
  }


@BOOK{booch:software-ada,
  AUTHOR = "G. Booch",
  TITLE = "Software Engineering with Ada",
  PUBLISHER = "Benjamin-Cummings",
  YEAR = 1983
  }

@INCOLLECTION{dahl:wegner-87,
  AUTHOR = "Ole-Johann Dahl",
  TITLE = "Object-Oriented Specification",
  BOOKTITLE = wegner,
  PAGES = "561-576",
  PUBLISHER = mit,
  YEAR = 1987,
  EDITOR = "Bruce Shriver and Peter Wegner"
  }


@BOOK{bromley:lisp-lore:86,
  TITLE = "{LISP LORE: A guide to programming the Lisp machine}",
  AUTHOR = "Hank Bromley",
  YEAR = 1986,
  PUBLISHER = kluwer
  }

@INPROCEEDINGS{patel-schneider:hicss-88,
  AUTHOR = "Peter F. Patel-Schneider",
  TITLE = "An Approach to Practical Object-Based Knowledge Representation Systems",
  BOOKTITLE = hicss,
  YEAR = 1988,
  PAGES = "367-375"
  }

@ARTICLE{heering:partial-85,
  AUTHOR = "J. Heering ",
  TITLE = "Partial evaluation and omega-completeness of algebraic specifications",
  JOURNAL = tcs,
  VOLUME = 43,
  YEAR = 1986,
  PAGES = "149-167"
  }

@INPROCEEDINGS{safra-shapiro:ip-86,
  AUTHOR = "S. Safra and E. Shapiro",
  TITLE = "Meta interpreters for real",
  BOOKTITLE = "Information Processing 86",
  EDITOR = "H.J. Kugler",
  PUBLISHER = "North Holland",
  YEAR = 1986,
  PAGES = "271-278"
  }


@ARTICLE{acly:irds-88,
  AUTHOR = "Ed Acly",
  TITLE = "{Looking Beyond CASE}",
  JOURNAL = "IEEE Software",
  YEAR = "March 1988",
  PAGES = "39-43"
  }

@ARTICLE{cartwright:first-84,
  AUTHOR = "Robert Cartwright",
  TITLE = "Recursive Programs as Definitions in First Order Logic",
  JOURNAL = siam-comp,
  VOLUME = 13,
  NUMBER = 2,
  YEAR = "May 1984",
  PAGES = "374-408"
  }

@ARTICLE{borgida:soft-85,
  AUTHOR = "A. Borgida",
  TITLE = "Features of languages for the development of information systems
  at the conceptual level",
  JOURNAL = "IEEE Software",
  YEAR = "January, 1985"
  }

@ARTICLE{brachman:isa-85,
  AUTHOR = "R. Brachman",
  TITLE = "What is-a is and isn't",
  JOURNAL = "AI Magazine",
  YEAR = "Fall 1985"
  }

@INPROCEEDINGS{banerjee-kim-korth:evolution-87,
  AUTHOR = "J. Banerjee and W. Kim and H.J. Kim and H.F. Korth",
  TITLE = "Semantics and implementation of schema evolution in object-oriented 
  databases, {San Francisco, California}",
  BOOKTITLE = "Proceedings of ACM/SIGMOD Annual Conference on Management of Data",
  YEAR = "May 1987"
  }

@ARTICLE{mylopoulos-bernstein:taxis-80,
  AUTHOR = "J. Mylopoulos and P. A. Bernstein and H.K.T. Wong",
  TITLE = "A language facility for designing interactive database intensive systems",
  JOURNAL = tdb,
  YEAR = "June, 1980",
  PAGES = "185 - 207",
  VOLUME = 5,
  NUMBER = 2
  }

@ARTICLE{banerjee-kim:data-model-87,
  AUTHOR = "Jay Banerjee and Hong-Tai Chou and Jorge F. Garza and Won Kim and Darrell Woelk and Nat Ballou",
  TITLE = "Data Model Issues for Object-Oriented Applications",
  PAGES = "3 - 26",
  VOLUME = 5,
  NUMBER = 1,
  JOURNAL = tois,
  YEAR = "January, 1987"
  }



@ARTICLE{boote:system-88,
  AUTHOR = "Raymond T. Boute",
  TITLE = " Systems Semantics: Principles, Applications, and Implementation",
  JOURNAL = toplas,
  YEAR = 1988,
  PAGES = "118-155",
  MONTH = "January",
  VOLUME = 10,
  NUMBER = 1
  }

@ARTICLE{feather:systems-87,
  AUTHOR = "Martin S. Feather",
  TITLE = "Language support for the specification and development of composite
  systems",
  JOURNAL = toplas,
  YEAR = 1987,
  PAGES = "198-234",
  MONTH = "April",
  VOLUME = 9,
  NUMBER = 2
  }

@ARTICLE{burke:recovery-87,
  AUTHOR = "Michael G. Burke and Gerald A. Fisher",
  TITLE = "{A Practical Method for LR and LL Syntactic Error Diagnosis and Recovery}",
  JOURNAL = toplas,
  YEAR = 1987,
  PAGES = "164-197",
  MONTH = "April",
  VOLUME = 9,
  NUMBER = 2
  }

@ARTICLE{tsichritzis:kno-87,
  AUTHOR = "D. Tsichritzis and E. Fiume and S. Gibbs and O. Nierstrasz",
  TITLE = "{KNOs: KNowledge Acquisition, Dissemination, and Manipulation of Objects}",
  JOURNAL = tois,
  YEAR = 1987,
  PAGES = "96-112",
  MONTH = "January",
  VOLUME = 5,
  NUMBER = 1
  }

@ARTICLE{wand:type-87,
  AUTHOR = "Mitchell Wand",
  TITLE = "A simple algorithm and proof for type inference ",
  JOURNAL = "Fundamenta Informaticae",
  YEAR = 1987,
  VOLUME = 10
  }

@INPROCEEDINGS{sutor:inference-87,
  AUTHOR = "R.S Sutor and R.D. Jenks",
  TITLE = "{The type inference and coercion facilities in the Scratchpad
   II interpreter} ",
  JOURNAL = "SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques",
  YEAR = 1987,
  PAGES = "56",
  MONTH = "June"
  }


%SEM
@INPROCEEDINGS{habermann:hicss-88,
  AUTHOR = "A. N. Habermann",
  TITLE = "Programming Environments for Reusability",
  BOOKTITLE = hicss,
  PAGES = "1-10",
  YEAR = 1988
  }

@INPROCEEDINGS{sheu:case-87,
  AUTHOR = "Philip Sheu",
  TITLE = "Programming Object-based Systems with Knowledge",
  BOOKTITLE = "International CASE Workshop",
  ADDRESS = "Index Technology, Cambridge, MA",
  YEAR = 1987
  }


@BOOK{wirth:a+d=p-76,
  AUTHOR = "Niklaus Wirth",
  TITLE = "Algorithms + Data Structures = Programs",
  PUBLISHER = "Prentice-Hall", 
  YEAR = "1976"
  }

@INPROCEEDINGS{fraser:syntax-81,
  AUTHOR = "C.W. Fraser",
  TITLE = "Syntax-directed editing of general data structures",
  BOOKTITLE = "Proceedings ACM SIGPLAN/SIGOA Conference on Text
     Manipulation ",
  YEAR = "1981",
  ADDRESS = "Portland, OR",
  PAGES = "17-21"
  }

@INPROCEEDINGS{kristensen:fragments-85,
  AUTHOR = "Bent Bruun Kristensen and Ole Lehrmann Madsen and 
    Birger Moller-Pederson and Kristen Nygaard ",
  TITLE = "An Algebra for Program Fragments",
  BOOKTITLE = "ACM SIGPLAN 85 Symposium on Programming Languages
     and Programming Environments", 
  YEAR = "1985",
  ADDRESS = "Seattle, WA",
  VOLUME =20,
  NUMBER = 6,
  PUBLISHER = "SIGPLAN"
  }

@ARTICLE{wile:popart-83,
  AUTHOR = "David S. Wile",
  TITLE = "Program Developments: Formal Explanations of
     Implementations",
  JOURNAL = commACM,
  YEAR = 1983,
  VOLUME = 26,
  NUMBER = 11,
  pages     = "902--911"
  }

@INPROCEEDINGS{freiling:knowledge-86,
  AUTHOR = "M.J. Freiling and
     J.H. Alexander and
	S.J. Shulman and
	   J.L. Staley and
	      S. Rehfuss and
		 S.L. Messick",
  TITLE = "Knowledge Level Engineering: Ontological Analysis",
  BOOKTITLE = "Proceedings AAAI",
  YEAR = "1986",
  PAGES = "963-968",
  VOLUME = 2
  }

@ARTICLE{kreowski:alg-spec-87,
  AUTHOR = "H.J. Kreowski",
  TITLE = "Some initial sections of the algebraic specification tale",
  JOURNAL = "Bulletin of the 
      European Association for Theoretical Computer Science" ,
  YEAR = 1987,
  PAGES = "55-78",
  MONTH = "February",
  NUMBER = 31
  }

@INPROCEEDINGS{macqueen:modular-86,
  AUTHOR = "D. MacQueen",
  TITLE = "Using dependent types to express modular structure",
  BOOKTITLE = popl,
  YEAR = "1986",
  MONTH = "January"
  }

@INPROCEEDINGS{wand-kohlbecker:by-example-87,
  AUTHOR = "E. Kohlbecker and Mitchell Wand",
  TITLE = "Macro by Example",
  BOOKTITLE = popl,
  YEAR = "1987",
  PUBLISHER = "ACM"
  }

@INPROCEEDINGS{kahn-lang:struct-75,
  AUTHOR = "Veronique Donzeau-Gouge and
     G\'{e}rard Huet and
	Gilles Kahn and
	   Bernard Lang and
	      J.J. L\'{e}vy",
  TITLE = "A structure oriented program editor: A first step towards computer
  assisted programming",
  BOOKTITLE = "Proceedings of International Computing Symposium 1975",
  YEAR = "1975",
  PAGES = ""
  }

@TECHREPORT{huet:mentor-80,
  AUTHOR = "Veronique Donzeau-Gouge and
     G\'{e}rard Huet and
	Gilles Kahn and
	   Bernard Lang",
  TITLE = "{Programming environments based on structured editors:
     The MENTOR experience}",
  INSTITUTION = "Res. Rep. 26 INRIA",
  YEAR = 1980
  }


@ARTICLE{allen:dictionary-82,
  AUTHOR = "F. Allen and
     M. Loomis and
	M. Mannino",
  TITLE = "{The Integrated Dictionary/ Directory System}",
  JOURNAL = surveys ,
  YEAR = 1982,
  VOLUME = 14 ,
  NUMBER = 2
  }

@ARTICLE{lamb:idl-87,
  AUTHOR = "D.A. Lamb",
  TITLE = "{IDL: Sharing Intermediate Representations}",
  JOURNAL = toplas,
  YEAR = 1987,
  PAGES = "297-318",
  MONTH = "July",
  VOLUME = 9,
  NUMBER = 3
  }

@BOOK{wirth:modula-2,
  AUTHOR = "Niklaus Wirth",
  TITLE = "Programming in Modula-2",
  PUBLISHER = "Springer Verlag", 
  YEAR = "1984"
  }

@ARTICLE{cameron-ito:gramps,
  AUTHOR = "Robert D. Cameron and M. Robert Ito",
  TITLE = "Grammar-based definition of metaprogramming systems",
  JOURNAL = toplas,
  YEAR = 1984,
  PAGES = "20-54",
  MONTH = "January",
  VOLUME = 6,
  NUMBER = 1
  }

@ARTICLE{partsch:survey,
  AUTHOR = "Helmut A. Partsch and R. Steinbrueggen",
  TITLE = "Program Transformation Systems",
  JOURNAL = surveys,
  YEAR = 1983,
  PAGES = "199-236",
  MONTH = "September",
  VOLUME = 15,
  NUMBER = 3
  }


@ARTICLE{boyle:reusability-84,
  AUTHOR = "J.M. Boyle and M.N. Muralidharan",
  TITLE = "Program Reusability through Program Transformation",
  JOURNAL = ieee-se,
  YEAR = 1984,
  MONTH = "September",
  VOLUME = "SE-10",
  NUMBER = 5
  }

@ARTICLE{reps-teitelbaum:84,
  AUTHOR = "T. Reps and T. Teitelbaum",
  TITLE = "The Synthesizer Generator",
  JOURNAL = "SIGPLAN",
  YEAR = 1984,
  VOLUME = 19,
  NUMBER = 5
  }

@ARTICLE{reps-teitelbaum-demers:83,
  AUTHOR = "Thomas Reps and Tim Teitelbaum and Alan Demers",
  TITLE = "Incremental context-dependent analysis for language-based editors",
  JOURNAL = toplas,
  YEAR = 1983,
  VOLUME = 5,
  NUMBER = 3,
  MONTH = "July"
  }


@BOOK{wertz:dd-86,
  AUTHOR = "Charles J. Wertz",
  TITLE = "The Data Dictionary",
  PUBLISHER = "QED Information Sciences, Inc.", 
  YEAR = "1986"
  }

@ARTICLE{rapps:testing-85,
AUTHOR = "S. Rapps and E.J. Weyuker",
TITLE = "Selecting software test data using
data flow information",
JOURNAL = ieee-se,
YEAR = 1985,
PAGES = "367-375",
VOLUME = 11,
NUMBER = 4
}

@ARTICLE{weyuker:antiext,
AUTHOR = "E.J. Weyuker",
TITLE = "The Evaluation of Program-Based Software 
Test Data Adequacy Criteria",
JOURNAL = "Communications of the ACM",
YEAR = 1988,
PAGES = "668-675",
VOLUME = 31,
NUMBER = 6
}



@UNPUBLISHED{clos:87,
  AUTHOR = "Daniel Bobrow and Linda G. De Michiel and Richard P. Gabriel and
  Sonya E. Keene and Gregor Kiczales and David A. Moon",
  TITLE = "{Common Lisp Object System Specification}",
  YEAR = 1988,
  NOTE = "Draft submitted to X3J13",
  MONTH = "March"
  }

@BOOK{ould-unwin:testing,
  AUTHOR = "Martyn A. Ould and Charles Unwin",
  TITLE = "Testing in Software Development",
  PUBLISHER = "British Computer Society,
  Monographs in Informatics", 
  YEAR = "1986"
  }

@BOOK{ullman:db,
  AUTHOR = "Jeffrey D. Ullman",
  TITLE = "Principles of Database Systems",
  PUBLISHER = "Computer Science Press", 
  YEAR = "1982" 
  }

@BOOK{salzberg:db,
  AUTHOR = "Betty Salzberg",
  TITLE = "An Introduction to Database Design",
  PUBLISHER = "Academic Press", 
  YEAR = "1986" 
  }


@ARTICLE{korth:extend-86,
  AUTHOR = "Henry F. Korth",
  TITLE = "Extending the Scope of Relational Languages",
  JOURNAL = "IEEE Software",
  YEAR = 1986,
  PAGES = "19-28",
  MONTH = "January"
  }

@BOOK{garey-johnson:intract,
  AUTHOR = "Michael R. Garey and David S. Johnson",
  TITLE = "Computers and Intractability",
  PUBLISHER = "Freeman", 
  YEAR = "1979" 
  }

@ARTICLE{stefik-bobrow:oop,
  AUTHOR = "Mark Stefik and Daniel G. Bobrow",
  TITLE = "Object-Oriented Programming: Themes and Variations ",
  JOURNAL = "The AI Magazine",
  YEAR = 1986,
  PAGES = "40-62",
  MONTH = "January"
  }

@ARTICLE{fortune-leivant:1983,
  AUTHOR = "Steven Fortune and Daniel Leivant and Michael O'Donnell",
  TITLE = "The expressiveness of simple and second order type structures",
  JOURNAL = jacm,
  YEAR = 1983,
  PAGES = "151-185",
  MONTH = "January",
  VOLUME = 30,
  NUMBER = 1
  }

@TECHREPORT{jack-kent:86,
  AUTHOR = "J. Donahue and
     C. Hauser and
	J. Kent",
  TITLE = "A client interface to an entity-relationship database system",
  INSTITUTION = "Xerox, Palo Alto Research Center",
  YEAR = 1986,
  NUMBER = "P86-00059"
  }


@INPROCEEDINGS{snodgrass:toolkit,
  AUTHOR = "Richard Snodgrass and
  Karen Shannon",
  TITLE = "Supporting Flexible and
  Efficient Tool Integration",
  BOOKTITLE = "Proceedings of the IFIP
  WG 2.4 Workshop on Advanced Programming
  Environments",
  YEAR = 1986,
  PAGES = "290-313",
  ADDRESS = "Trondheim, Norway",
  PUBLISHER = "Springer Verlag",
  MONTH = "June"
  }


@BOOK{snodgrass:idl-book,
  AUTHOR = "Richard Snodgrass",
  TITLE = "The interface description language",
  PUBLISHER = "Computer Science Press", 
  YEAR = "1989"
  }

@INPROCEEDINGS{kristensen:mod,
  AUTHOR = "B.B. Kristensen and
     O.L. Madsen and
	B. Moller-Pederson and
	   K. Nygaard",
  TITLE = "Syntax directed program modularization",
  BOOKTITLE = "Interactive Computing Systems",
  YEAR = "1983",
  EDITOR = "P. Degano and E. Sandewall",
  PUBLISHER = "North-Holland"
  }

@BOOK{martin-mcclure,
  AUTHOR = "J. Martin and
     C. McClure",
  TITLE = "Structured Techniques for Computing",
  PUBLISHER = "Prentice-Hall", 
  YEAR = "1985"
  }

@INPROCEEDINGS{nievergelt:xs2,
  AUTHOR = "J. Nievergelt and
     E.S. Biagioni and
	J. Stelovsky and
	   H. Sugaya",
  TITLE = "Can an Operating System Support Consistent User Dialogs",
  BOOKTITLE = "Proc. ACM Annual Conference" ,
  YEAR = 1985,
  PAGES = "476-483",
  ADDRESS = "Denver, CO"
  }

@ARTICLE{vandam:editors,
  AUTHOR = "N. Meyrowitz and
     A. van Dam",
  TITLE = "Interactive Editing Systems: Part I, II",
  JOURNAL = surveys,
  YEAR = 1982,
  PAGES = "321 - 416",
  MONTH = "September",
  VOLUME = 14,
  NUMBER = 3
  }


@INPROCEEDINGS{emblay-woodfield:quality,
  AUTHOR = "D. W. Embley and S.N. Woodfield",
  TITLE = "Assessing the quality of abstract data types written in {Ada}",
  BOOKTITLE = icse,
  YEAR = "1988",
  ADDRESS = "Singapore",
  PAGES = "144-153",
  PUBLISHER = "IEEE"
  }

@INPROCEEDINGS{tarumi:reuse-88,
  AUTHOR = "H. Tarumi and K. Agusa and Y. Ohno",
  TITLE = "A Programming Environment Supporting Reuse of Object-Oriented
  Software",
  BOOKTITLE = icse,
  YEAR = "1988",
  ADDRESS = "Singapore",
  PAGES = "265-273",
  PUBLISHER = "IEEE"
  }


@BOOK{liskov-guttag:1986,
  AUTHOR = "Barbara Liskov and John Guttag",
  TITLE = "Abstraction and Specification in Program Development",
  PUBLISHER = "MIT Press, McGraw-Hill Book Company", 
  YEAR = "1986", 
  SERIES = "The MIT Electrical Engineering and Computer Science Series"
  }


@ARTICLE{parnas:mod-struct,
  AUTHOR = "David Lorge Parnas and Paul C. Clements and David M. Weiss",
  TITLE = "The Modular Structure of Complex Systems",
  JOURNAL = ieee-se,
  YEAR = 1985,
  PAGES = "259-266",
  VOLUME = "SE-11",
  NUMBER = 3
  }


@INPROCEEDINGS{parnas:reuse-83,
  AUTHOR = "David Lorge Parnas and Paul C. Clements and David M. Weiss",
  TITLE = "Enhancing Reusability with Information Hiding",
  BOOKTITLE = "Tutorial: Software Reusability",
  YEAR = "1986",
  PAGES = "83-90",
  EDITOR = "Peter Freeman",
  PUBLISHER = "IEEE Press"
  }


@BOOK{freeman:reuse,
  AUTHOR = "Peter Freeman",
  TITLE = "Tutorial: Software Reusability",
  PUBLISHER = "IEEE Press", 
  YEAR = "1986"
  }

@ARTICLE{meyer:reuse-87,
  AUTHOR = "Bertrand Meyer",
  TITLE = "Reusability: The Case for Object-Oriented Design",
  JOURNAL = "IEEE Software",
  YEAR = 1987,
  PAGES = "50-64",
  MONTH = "March"
  }


@INPROCEEDINGS{shea:learnability-86,
  AUTHOR = "Tim O'Shea",
  TITLE = "The Learnability of Object-oriented Programming Systems",
  BOOKTITLE = oopsla,
  YEAR = "1986",
  ADDRESS = "Portland",
  PAGES = "502-504",
  PUBLISHER = "ACM"
  }

@BOOK{kernighan-plauger:style,
  AUTHOR = "B. Kernighan and P. Plauger",
  TITLE = "The Elements of Programming Style",
  PUBLISHER = "McGraw-Hill", 
  YEAR = "1974"
  }


@ARTICLE{hoare:72,
  AUTHOR = "C. A. R. Hoare",
  TITLE = "Proof of Correctness of Data Representations",
  JOURNAL = "Acta Informatica",
  YEAR = 1972,
  PAGES = "271-281",
  VOLUME = 1
  }


@ARTICLE{knuth:attribute,
  AUTHOR = "D.E. Knuth",
  TITLE = "Semantics of context-free languages",
  JOURNAL = "Math. Syst. Theory",
  YEAR = 1968,
  PAGES = "127-145",
  MONTH = "June",
  VOLUME = 2
  }


@INPROCEEDINGS{kaiser-garlan:oopsla-86,
  AUTHOR = "Gail E. Kaiser and David Garlan",
  TITLE = "{MELDing Data Flow and Object-Oriented Programming}",
  BOOKTITLE = oopsla,
  YEAR = 1987,
  PAGES = "254-267",
  VOLUME = 22,
  PUBLISHER = "ACM SIGPLAN Notices",
  ADDRESS = "Orlando, Florida"
  }
  %NUMBER = 12,


@ARTICLE{oppen:rec-data-80,
  AUTHOR = "Derek C. Oppen",
  TITLE = "Reasoning about recursively defined data structures",
  JOURNAL = jacm,
  YEAR = 1980,
  PAGES = "403-411",
  MONTH = "July",
  VOLUME = 27,
  NUMBER = 3
  }

@INPROCEEDINGS{kaiser-feiler:intell-87,
  AUTHOR = "G.E. Kaiser and P.H. Feiler",
  TITLE = "An architecture for intelligent assistance in software development",
  BOOKTITLE = icse,
  YEAR = "1987",
  PAGES = "80-88",
  PUBLISHER = "Computer Society Press"
  }

@INPROCEEDINGS{futatsugi:param-87,
  AUTHOR = "K. Futatsugi and J. Goguen and J. Meseguer and K. Okada",
  TITLE = "{Parameterized Programming in OBJ2}",
  BOOKTITLE = icse,
  YEAR = "1987",
  PAGES = "unknown",
  PUBLISHER = "Computer Society Press"
  }


@ARTICLE{hoare:rec-data,
  AUTHOR = "C.A.R. Hoare",
  TITLE = "Recursive data structures",
  JOURNAL = "International Journal on Computer and Information Science",
  YEAR = 1975,
  PAGES = "105-133",
  MONTH = "June"
  }

@INPROCEEDINGS{wegner:reuse-83,
  AUTHOR = "Peter Wegner",
  TITLE = "Varieties of Reusability",
  BOOKTITLE = "ITT Procedeedings of the Workshop on
    Reusability in Programming",
  YEAR = "1983",
  PAGES = "30-44"
  }


@ARTICLE{ruben-peter:reuse-87,
  AUTHOR = "Ruben Prieto-Diaz and Peter Freeman",
  TITLE = "Classifying Software for Reusability",
  JOURNAL = "IEEE Software",
  YEAR = 1987,
  PAGES = "6-16",
  MONTH = "January"
  }


@ARTICLE{freeman:tmm,
  AUTHOR = "Guillermo Arango and Ira Baxter and Peter Freeman and
  Christopher Pidgeon",
  TITLE = "{TMM: Software Maintenance by Transformation}",
  JOURNAL = "IEEE Software",
  YEAR = 1986,
  PAGES = "27-39",
  MONTH = "May"
  }

@INPROCEEDINGS{lewerentz:graph-grammars,
  AUTHOR = "G. Engels and C. Lewerentz and W. Schaefer",
  TITLE = "Graph Grammar Engineering: A Software Specification Method ",
  BOOKTITLE = "Proc. 3rd Workshop on Graph Grammars and their Application
  to Computer Science",
  PUBLISHER = lncs,
  YEAR = "1987",
  PAGES = "186-201",
  VOLUME = 291
  }


@ARTICLE{schlichting:mlp-uts,
  AUTHOR = "Roger Hayes and Richard D. Schlichting",
  TITLE = "Facilitating Mixed Language Programming in Distributed Systems",
  JOURNAL = ieee-se,
  YEAR = 1987,
  PAGES = "1254-1264",
  MONTH = "Dec.",
  VOLUME = "SE-13",
  NUMBER = 12
  }

@ARTICLE{basili:testing-87,
  AUTHOR = "V.R. Basili and R.W. Selby",
  TITLE = "Comparing the effectiveness of software testing strategies",
  JOURNAL = ieee-se,
  YEAR = 1987,
  PAGES = "1278-1296",
  MONTH = "Dec.",
  VOLUME = "SE-13",
  NUMBER = 12
  }


@ARTICLE{boehm:spiral-88,
  AUTHOR = "Barry Boehm",
  TITLE = "A Spiral Model of Software Development and Enhancement",
  JOURNAL = ieee-computer ,
  YEAR = 1988,
  PAGES = "61-72",
  MONTH = "May",
  VOLUME = 21,
  NUMBER = 5
  }

@ARTICLE{boehm:prod-88,
  AUTHOR = "Barry W. Boehm",
  TITLE = "Improving Software Productivity",
  JOURNAL = ieee-computer,
  YEAR = 1987,
  PAGES = "43-57",
  MONTH = "September",
  VOLUME = 20,
  NUMBER = 9
  }

@INPROCEEDINGS{deutsch:reuse-83,
  AUTHOR = "Peter Deutsch",
  TITLE = "{Reusability in the Smalltalk-80 Programming System}",
  BOOKTITLE = "Proc. Workshop on Reusability in Programming",
  YEAR = "1983",
  ADDRESS = "Newport, RI",
  PAGES = "72-82"
  }

@INPROCEEDINGS{balzer:reuse-83,
  AUTHOR = "Robert Balzer",
  TITLE = "Evolution as a new basis for reusability",
  BOOKTITLE = "Proc. Workshop on Reusability in Programming",
  YEAR = "1983",
  ADDRESS = "Newport, RI",
  PAGES = "80-82"
  }


@INPROCEEDINGS{cheatham:reuse-83,
  AUTHOR = "T.E. Cheatham",
  TITLE = "Reusability through program
    transformations",
  BOOKTITLE = "Proc. Workshop on Reusability in Programming",
  YEAR = "1983",
  ADDRESS = "Newport, RI",
  PAGES = "122-128"
  }


@INPROCEEDINGS{cameron:reuse-83,
  AUTHOR = "Brian W. Terry and Robert D. Cameron",
  TITLE = "Software maintenance using metaprogramming systems",
  BOOKTITLE = "Conf. on Software Maintenance",
  YEAR = "1987",
  ADDRESS = "Austin, Texas",
  PAGES = "115-119",
  PUBLISHER = "Computer Society Press"
  }

@INPROCEEDINGS{kate:reuse-83,
  AUTHOR = "Elliot Soloway and Kate Ehrlich",
  TITLE = "What do programmers reuse?",
  BOOKTITLE = "Proc. Workshop on Reusability in Programming",
  YEAR = "1983",
  ADDRESS = "Newport, RI",
  PAGES = "184-191"
  }


@INPROCEEDINGS{hausi:recompile-86,
  AUTHOR = "Robert Hood and Ken Kennedy and Hausi A. Mueller",
  TITLE = "Efficient Recompilation of Module Interfaces in a 
  Software Development Environment",
  BOOKTITLE = "2nd ACM SIGSOFT/SIGPLAN Symposium on Practical
  Software Development Environments",
  YEAR = "1986",
  PAGES = "unknown",
  NOTE = "Tech. Report DCS-59-IR, University of Victoria, Dec. 86"}


@BOOK{meyer:book-88,
  AUTHOR = "Bertrand Meyer",
  TITLE = "Object-Oriented Software Construction",
  PUBLISHER = "Prentice-Hall International", 
  YEAR = "1988", 
  SERIES = "Series in Computer Science"
  }

@ARTICLE{ostrand-balcer:1988,
  AUTHOR = "Thomas Ostrand and Marc J. Balcer",
  TITLE = "The category-partition method for specifying and generating 
  functional tests",
  JOURNAL = commACM,
  YEAR = 1988,
  PAGES = "676-686",
  MONTH = "June",
  VOLUME = 31,
  NUMBER = 6
  }

@ARTICLE{hull-king:data-model-87,
  AUTHOR = "Richard Hull and Roger King",
  TITLE = "Semantic Database Modeling: Survey, Applications, and
  Research Issues",
  JOURNAL = surveys,
  YEAR = 1987,
  PAGES = "201-260",
  MONTH = "September",
  VOLUME = 19,
  NUMBER = 3
  }
@ARTICLE{batini-lenz:schema-integration-87,
  AUTHOR = "C. Batini and M. Lenzerini and
  S.B. Navathe",
  TITLE = "A comparative analysis of methodologies for database schema
  integration",
  JOURNAL = surveys,
  YEAR = 1986,
  PAGES = "323-364",
  MONTH = "December",
  VOLUME = 19,
  NUMBER = 4
  }

@ARTICLE{navathe:view-integration-86,
AUTHOR = "S. Navathe and R. Elmasari and J. Larson",
TITLE = "Integrating user views in database design",
JOURNAL = ieee-computer,
YEAR = 1986,
PAGES = "50-62",
VOLUME = 19,
NUMBER = 1
}

@INPROCEEDINGS{minsky:framework,
  AUTHOR = "Marvin Minsky",
  TITLE = "A framework for representing knowledge",
  BOOKTITLE = "The Psychology of Computer Vision",
  YEAR = "1975",
  PAGES = "211-277",
  EDITOR = "P. Winston",
  PUBLISHER = "McGraw-Hill"
  }


@ARTICLE{mohan:se-88,
  AUTHOR = "L. Mohan and R.L. Kashyap",
  TITLE = "An object-oriented knowledge
  representation for spatial information",
  JOURNAL = ieee-se,
  YEAR = 1988,
  PAGES = "675-681",
  MONTH = "May",
  VOLUME = 14,
  NUMBER = 5 
  }


@ARTICLE{atkinson-buneman:dbprog,
  AUTHOR = "M.P. Atkinson and O.P. Buneman",
  TITLE = "Types and Persistence in Database Programming Languages",
  JOURNAL = surveys,
  YEAR = 1987,
  PAGES = "105-190",
  MONTH = "June",
  VOLUME = 19,
  NUMBER = 2
  }


@ARTICLE{lalonde:rrp-77,
  AUTHOR = "Wilf R. LaLonde",
  TITLE = "Regular right-part grammars and their parsers",
  JOURNAL = commACM,
  YEAR = 1977,
  PAGES = "731-741",
  MONTH = "October",
  VOLUME = 20,
  NUMBER = 10
  }


@BOOK{nijholt:cf,
  AUTHOR = "Anton Nijholt",
  TITLE = "Context-Free Grammars: Covers, Normal Forms and Parsing",
  PUBLISHER = " ", 
  YEAR = "1980", 
  SERIES = lncs,
  VOLUME = 93 
  }


@ARTICLE{graham:grammar-abs-88,
  AUTHOR = "R.A. Ballance and J. Butcher and S.L. Graham",
  TITLE = "Grammatical abstraction and incremental syntax analysis
  in a language-based editor",
  JOURNAL = sigplan,
  YEAR = 1988,
  PAGES = "185-198",
  MONTH = "July",
  VOLUME = 23,
  NUMBER = 7,
  NOTE = "Conference on Programming Language Design and Implementation"
  }

@ARTICLE{ll-dec:nijholt,
  AUTHOR = "Anton Nijholt",
  TITLE = "The equivalence problem for {LL- and LR-regular} grammars",
  JOURNAL = "Fundamentals of Computation Theory",
  YEAR = 1981,
  PAGES = "unknown",
  VOLUME = 3,
  NOTE = "Proceedings of third conference" 
  }


@INPROCEEDINGS{america-POOL,
  AUTHOR = "Pierre America",
  TITLE = "POOL-T: A Parallel Object-Oriented Language",
  BOOKTITLE = "Object-Oriented Concurrent Programming",
  YEAR = "1987",
  PAGES = "199-220",
  EDITOR = "A. Yonezawa and Mario Tokoro",
  PUBLISHER = "MIT Press"
  }

@INPROCEEDINGS{america:pool-I,
AUTHOR = "Pierre America",
TITLE = "A Parallel Object-Oriented Language with Inheritance and Subtyping",
BOOKTITLE = oopsla,
YEAR = "1990",
ADDRESS = "Ottawa, Canada",
PAGES = "161-168",
EDITOR = "N. Meyrowitz",
PUBLISHER = "ACM Press",
NOTE = "joint conference with ECOOP"
}

@INPROCEEDINGS{america:subtypes-87,
AUTHOR = "Pierre America",
TITLE = "Inheritance and subtyping in a parallel object-oriented language",
BOOKTITLE = ecoop,
YEAR = "1987",
PAGES = "234-242",
PUBLISHER = "Springer Verlag, Lecture Notes 276"
}


@UNPUBLISHED{wegner:case88,
  AUTHOR = "Peter Wegner",
  TITLE = "Object-Oriented Concept Hierarchies",
  NOTE = "Distributed at CASE '88 workshop",
  MONTH = "July",
  YEAR =  1988
  }

@INPROCEEDINGS{brachman-levesque:84,
  AUTHOR = "Ronald J. Brachman and Hector J. Levesque",
  TITLE = "The tractability of subsumption in frame-based description
  languages",
  BOOKTITLE = "Proceedings AAAI-84",
  YEAR = "1984",
  ADDRESS = "Austin, Texas",
  PAGES = "34-37",
  PUBLISHER = "American Association for Artificial Intelligence"
  }


@ARTICLE{brachman:i-lied,
AUTHOR = "R. Brachman",
TITLE = "{``I lied about the trees' or, defaults and definitions
in knowledge representation}",
JOURNAL = "AI Magazine",
YEAR = "Fall 1985"
}

@ARTICLE{path-expressions:campbell,
AUTHOR = "R. H. Campbell and A. N. Habermann",
TITLE = "{The Specification of Process Synchronization by Path Expressions}",
JOURNAL = "Springer Verlag Lecture Notes in Computer Science",
VOLUME = 16,
YEAR = "1974",
PAGES = "89-102"
}


@ARTICLE{brachman-schmolze:kl-one,
  AUTHOR = "R.J. Brachman and J.G. Schmolze",
  TITLE = "An overview of the {KL-ONE} knowledge representation system",
  JOURNAL = "Cognitive Sciences",
  YEAR = 1985,
  PAGES = "171-216",
  VOLUME = 9,
  NUMBER = 2
  }

@INCOLLECTION{meier-stein:wegner-87,
  AUTHOR = "David Meier and Jacob Stein",
  TITLE = "Development and implementation of an object-oriented {DBMS}",
  BOOKTITLE = wegner,
  PAGES = "355-392",
  PUBLISHER = mit,
  YEAR = 1987,
  EDITOR = "Bruce Shriver and Peter Wegner"
  }

@INCOLLECTION{skarra-zdonik:wegner-87,
  AUTHOR = "Andrea Skarra and Stanley Zdonik",
  TITLE = "Type evolution in an object-oriented database",
  BOOKTITLE = wegner,
  PAGES = "393-416",
  PUBLISHER = mit,
  YEAR = 1987,
  EDITOR = "Bruce Shriver and Peter Wegner"
  }

@BOOK{ullman:data-knowledge-I,
  AUTHOR = "Jeffrey D. Ullman",
  TITLE = "Principles of Database and Knowledge-Base Systems",
  PUBLISHER = "Computer Science Press", 
  YEAR = "1988"
  }


@ARTICLE{prieto-diaz-neighbors:mod-int,
  AUTHOR = "Ruben Prieto-Diaz
  and James M. Neighbors",
  TITLE = "Module Interconnection Languages",
  JOURNAL = "Journal of Systems and Software",
  YEAR = 1986,
  PAGES = "307-334",
  MONTH = "November",
  VOLUME = 6,
  NUMBER = 4
  }


@BOOK{tanimoto:elements-87,
  AUTHOR = "S.L. Tanimoto",
  TITLE = "The Elements of Artificial Intelligence",
  PUBLISHER = "Computer Science Press", 
  YEAR = "1987" 
  }

@INCOLLECTION{beech:wegner-87,
  AUTHOR = "David Beech",
  TITLE = "Groundwork for an object-oriented database model",
  BOOKTITLE = wegner,
  PAGES = "317-354",
  PUBLISHER = mit,
  YEAR = 1987,
  EDITOR = "Bruce Shriver and Peter Wegner"
  }


@ARTICLE{hull:db-model-87,
  TITLE = "A formal semantic database model",
  AUTHOR = "S. Abiteboul and R. Hull",
  JOURNAL = "ACM Transactions on Database Systems",
  YEAR = 1987,
  PAGES = "525-565",
  MONTH = "December",
  VOLUME = 12,
  NUMBER = 4
  }


@ARTICLE{cameron:jsd,
  AUTHOR = "J. Cameron",
  TITLE = "An Overview of JSD",
  JOURNAL = "ieee-se",
  YEAR = 1986,
  MONTH = "Feb.",
  VOLUME = "se-12",
  NUMBER = 2
  }

@INPROCEEDINGS{wiederhold:s-m,
  AUTHOR = "G. Wiederhold and R. El Masri",
  TITLE = "The structural model for database design",
  BOOKTITLE = "{Proceedings International Conference on the Entity-Relationship
  Approach to System Analysis and Design}",
  YEAR = "1980",
  EDITOR = "P.P. Chen",
  PUBLISHER = "North Holland, Amsterdam"
  }


@UNPUBLISHED{mager-case88,
  AUTHOR = "Peter Mager",
  TITLE = "Private communication",
  NOTE = "CASE 88",
  MONTH = "July",
  YEAR = 1988
  }

@INPROCEEDINGS{carole:law-87,
  AUTHOR = "C.D. Hafner",
  TITLE = "Conceptual Organization of Case Law Knowledge Bases",
  BOOKTITLE = "Proceedings of the First International Conference on Artificial
  Intelligence and Law",
  YEAR = "1987",
  PAGES = "35-42"
  }


@INPROCEEDINGS{usc-nikl:kacz-86,
  AUTHOR = "Thomas S. Kaczmarek and Raymond Bates and Gabriel Robins",
  TITLE = "{Recent Developments in NIKL}",
  BOOKTITLE = aaai,
  YEAR = "1986",
  PAGES = "978-985",
  PUBLISHER = "Morgan Kaufman Publishers"
  }


@TECHREPORT{woods-bbn:79,
  AUTHOR = "W. A. Woods",
  TITLE = "Theoretical studies in natural language understanding",
  INSTITUTION = "Bolt, Beranek, and Newman",
  YEAR = 1979,
  NUMBER = "4332"
  }


@TECHREPORT{vilain:84,
  AUTHOR = "Mark Vilain",
  TITLE = "KL-TWO, A Hybrid Knowledge Representation System",
  INSTITUTION = "Bolt, Beranek, and Newman",
  YEAR = 1984,
  NUMBER = "5694"
  }

@INPROCEEDINGS{constr:morgenstern-84,
  AUTHOR = "Matthew Morgenstern",
  TITLE = "Constraint equations: a concise compilable representation for
  quantified constraints in semantic networks",
  BOOKTITLE = aaai,
  YEAR = "1984",
  PAGES = "255-259",
  PUBLISHER = "Morgan Kaufman Publishers"
  }


@ARTICLE{kim:complex-88,
  AUTHOR = "Won Kim and Hong-Tai Chou and Jay Banerjee",
  TITLE = "Operations and Implementation of Complex Objects",
  JOURNAL = ieee-se ,
  YEAR = 1988,
  PAGES = "985-996",
  MONTH = "July",
  VOLUME = 14,
  NUMBER = 7
  }

@INPROCEEDINGS{penney-stein:evol,
  AUTHOR = "D. Jason Penney and Jacob Stein",
  TITLE = "{Class modification in the GemStone object-oriented DBMS}",
  BOOKTITLE = oopsla,
  YEAR = "1987",
  ADDRESS = "Orlando, Florida",
  PAGES = "111-125",
  PUBLISHER = "ACM Press"
  }


@INPROCEEDINGS{sandberg:lithe,
  AUTHOR = "David Sandberg",
  TITLE = "{LITHE: A language combining a flexible syntax and classes}",
  BOOKTITLE = popl,
  YEAR = "1982",
  ADDRESS = "Albuquerque, NM",
  PAGES = "142-145",
  PUBLISHER = "ACM"
  }


@INPROCEEDINGS{hewitt:law,
  AUTHOR = "Carl Hewitt and H. Baker",
  TITLE = "Laws for communicating parallel processes",
  BOOKTITLE = "IFIP Congress Proceedings",
  YEAR = "1977",
  PAGES = "987-992",
  PUBLISHER = "IFIP (International Federation for Information Processing)",
  MONTH = "August"
  }

@ARTICLE{francez:script,
  AUTHOR = "N. Francez",
  TITLE = "Script: A communication abstraction mechanism, and its verification",
  JOURNAL = "Science of Computer Programming",
  YEAR = 1986,
  PAGES = "35-88",
  VOLUME = 6,
  NUMBER = 1
  }



@BOOK{rich-waters:ai-se,
  AUTHOR = "Charles Rich and Richard C. Waters",
  TITLE = "Readings in Artificial Intelligence and Software Engineering",
  PUBLISHER = "Morgan Kaufmann Publishers", 
  YEAR = "1986"
  }

@BOOK{rich-waters:pro-app,
  AUTHOR = "Charles Rich and Richard Waters",
  TITLE = "The Programmer's Apprentice",
  PUBLISHER = "ACM Press", 
  YEAR = "1990", 
  SERIES = "ACM Press Frontier Series"
  }

@ARTICLE{bigelow:hypertext,
  AUTHOR = "James Bigelow",
  TITLE = "Hypertext and CASE",
  JOURNAL = ieee-software,
  YEAR = 1988,
  PAGES = "23-29",
  MONTH = "March "
  }

@ARTICLE{sakkinen:law-88,
  AUTHOR = "Markku Sakkinen",
  TITLE = "Comments on the {Law of Demeter} and {C++}",
  JOURNAL = sigplan ,
  YEAR = 1988,
  MONTH = "December",
  PAGES = "38-44",
  VOLUME = "23" ,
  NUMBER = "12"
  }

@ARTICLE{johnson-foote:rules,
  AUTHOR = "Ralph E. Johnson and Brian Foote",
  TITLE = "Designing reusable classes",
  JOURNAL = joop,
  YEAR = 1988,
  PAGES = "22-35",
  MONTH = "June/July",
  VOLUME = 1,
  NUMBER = 2
  }


@ARTICLE{linden:adt-maintain,
  AUTHOR = "T.A. Linden",
  TITLE = "The use of abstract data types to simplify program modifications",
  JOURNAL = "Proc. Conference on Data Abstraction, Definition and Structure,
  SIGPLAN Notices, Association of Computing Machinery)
  ",
  YEAR = 1976,
  VOLUME = "II"
  }

@ARTICLE{smith:principles,
  AUTHOR = "Connie U. Smith",
  TITLE = "Applying Synthesis Principles to Create Responsive Software Systems",
  JOURNAL = ieee-se,
  YEAR = 1988,
  PAGES = "1394-1408",
  MONTH = "Oct. 88",
  VOLUME = 14,
  NUMBER = 10
  }

@UNPUBLISHED{wegner:concept,
  AUTHOR = "Peter Wegner",
  TITLE = "Object-Oriented Concept Hierarchies",
  NOTE = "presented at CASE 88 in Cambridge, MA.",
  MONTH = "July",
  YEAR = 1988
  }

@ARTICLE{clos:bobrow-88,
  AUTHOR = "D.G. Bobrow and L.G. DeMichiel and
  R.P. Gabriel and S.E. Keene and G. Kiczales and
  D.A. Moon",
  TITLE = "{Common Lisp Object System Specification}",
  JOURNAL = sigplan,
  YEAR = 1988,
  MONTH = "September",
  VOLUME = 23
  }

@UNPUBLISHED{mark-staknis:diss,
  AUTHOR = "Mark E. Staknis",
  TITLE = "A Theoretical Basis for Software Fault Tolerance",
  NOTE = "Dissertation at the University of Virginia",
  MONTH = "May",
  YEAR = 1987
  }
%software fault localization: A fault is localized within a section of code
%by the use of run-time checks


@ARTICLE{parnas:extension,
  AUTHOR = "D.L. Parnas",
  TITLE = "Designing software for ease of extension and contraction",
  JOURNAL = ieee-se,
  YEAR = 1979,
  PAGES = "128",
  VOLUME = SE-5 
  }

@ARTICLE{stroustrup:paramtypes,
  AUTHOR = "Bjarne Stroustrup",
  TITLE = "{Parameterized Types for C++}",
  JOURNAL = "Proc. of USENIX C++ Conference, Denver",
  YEAR = 1988,
  MONTH = "Oct"
  }

@ARTICLE{marty:et++,
  AUTHOR = "Andre Weinand and Erich Gamma and Rudolf Marty",
  TITLE = "{ET++ - An Object Oriented Application Framework in C++}",
  JOURNAL = sigplan,
  YEAR = 1988,
  PAGES = "46-57",
  MONTH = "November",
  VOLUME = 23,
  NUMBER =  11,
  Note = "OOPSLA Conference"
  }


@ARTICLE{kaiser:maintenance-88,
  AUTHOR = "Gail E. Kaiser  and Peter H. Feiler and Steven S. Popovich",
  TITLE = "Intelligent Assistance for Software Development and
  Maintenance",
  JOURNAL = ieee-software,
  YEAR = 1988,
  PAGES = "40-49",
  MONTH = "May"
  }

@ARTICLE{ambras-day:micro,
  AUTHOR = "James Ambras and Vicky O'Day",
  TITLE = "MicroScope: A Knowledge-Based Programming Environment",
  JOURNAL = ieee-software,
  YEAR = 1988,
  PAGES = "50-58",
  MONTH = "May"
  }


@ARTICLE{torrigiani:aspis-88,
  AUTHOR = "P. Paolo Puncello and Piero Torrigani and Francesco Pietri
  and Riccardo Burlon",
  TITLE = "ASPIS: A knowledge-based CASE environment",
  JOURNAL = ieee-software,
  YEAR = 1988,
  PAGES = "58-65",
  MONTH = "March"
  }


@ARTICLE{metaview:tremblay-88,
  AUTHOR = "Paul G. Sorenson and Jean-Paul Tremblay and Andrew J. McAllister",
  TITLE = "The Metaview System for many specification environments",
  JOURNAL = ieee-software,
  YEAR = 1988,
  PAGES = "30-38",
  MONTH = "March"
  }


@ARTICLE{jarke:dependency-directed,
  AUTHOR = "V. Dhar and M. Jarke",
  TITLE = "Dependency directed reasoning and learning in systems
  maintenance support",
  JOURNAL = ieee-se,
  YEAR = 1988,
  PAGES = "211-227",
  MONTH = "February",
  VOLUME = 14,
  NUMBER = 2
  }


@BOOK{refine:users-guide-85,
  AUTHOR = "Reasoning Systems Inc.",
  TITLE = "Refine User's Guide",
  PUBLISHER = "Reasoning Systems Inc.", 
  YEAR = "1985" 
  }


@INPROCEEDINGS{frank:moose-88,
  AUTHOR = "Max J. Egenhofer and Andrew U. Frank",
  TITLE = "MOOSE: Combining Software Engineering and Database 
  management systems",
  BOOKTITLE = "Proceedings CASE 88 Workshop",
    YEAR = "1988",
      PUBLISHER = "Index Technology Corporation, Cambridge, MA",
	EDITOR = "Elliot Chikofsky",
	  PAGES = "27.10-27.14"
	    }


@ARTICLE{takao:editors-88,
  AUTHOR = "Takao Tenma",
  TITLE = "A system for generating language-oriented editors",
  JOURNAL = ieee-se,
  YEAR = 1988,
  PAGES = "1098-1109",
  MONTH = "August",
  VOLUME = 14,
  NUMBER = 8
  }


@ARTICLE{udi-manber:induction-comm-acm,
  AUTHOR = "Udi Manber",
  TITLE = "Using Induction to design algorithms",
  JOURNAL = commACM,
  YEAR = 1988,
  PAGES = "1300-1313",
  MONTH = "Nov.",
  VOLUME = 31,
  NUMBER = 11
  }


@INPROCEEDINGS{ecoop-dan:subtypes-87,
  AUTHOR = "Daniel C. Halbert and Patrick D. O'Brien",
  TITLE = "Using Types and Inheritance in Object-Based Languages",
  BOOKTITLE = ecoop,
  YEAR = "1987",
  PAGES = "20-31",
  PUBLISHER = "Springer Verlag, Lecture Notes 276"
  }

@INPROCEEDINGS{ecoop-henry:rev-87,
  AUTHOR = "Henry Liebermann",
  TITLE = "Reversible Object-Oriented Interpreters",
  BOOKTITLE = ecoop,
  YEAR = "1987",
  PAGES = "11-19",
  PUBLISHER = "Springer Verlag"
  }


@BOOK{leiserson:systolic-83,
  AUTHOR = "Charles Leiserson",
  TITLE = "Area-Efficient VLSI Computation",
  PUBLISHER = "MIT Press", 
  YEAR = "1983", 
  SERIES = "ACM Doctoral Dissertation Award"
  }


@INPROCEEDINGS{ecoop-sak:darker-88,
  AUTHOR = "Markku Sakkinen",
  TITLE = "On the darker side of C++",
  BOOKTITLE = ecoop,
  YEAR = "1988",
  PAGES = "162-176",
  PUBLISHER = "Springer Verlag"
  }


@INPROCEEDINGS{knudsen-madsen:teach,
  AUTHOR = "J{\o}rgen Lindskov Knudsen and Ole Lehrmann Madsen",
  TITLE = "Teaching Object-Oriented Programming is more than teaching object-oriented programming languages",
  BOOKTITLE = ecoop,
  YEAR = "1988",
  ADDRESS = "Oslo, Norway",
  PAGES = "21-40",
  EDITOR = "S.Gjessing and K. Nygaard",
  PUBLISHER = "Springer Verlag"
  }

@INPROCEEDINGS{madsen-moller:pys,
  AUTHOR = "Ole Lehrmann Madsen and Birger M{\o}ller-Pedersen",
  TITLE = "What object-oriented programming may be - and what it does not
  have to be",
  BOOKTITLE = ecoop,
  YEAR = "1988",
  ADDRESS = "Oslo, Norway",
  PAGES = "1-20",
  EDITOR = "S.Gjessing and K. Nygaard",
  PUBLISHER = "Springer Verlag"
  }


@ARTICLE{johnson:y++,
  AUTHOR = "Steven C. Johnson",
  TITLE = "{Yacc Meets C++}",
  JOURNAL = usenix,
  YEAR = 1988,
  PAGES = "159-168",
  MONTH = "Spring",
  VOLUME = 1,
  NUMBER = 2 
  }

@INPROCEEDINGS{wile-allard:worlds,
  AUTHOR = "David S. Wile and Dennis G. Allard",
  TITLE = "Worlds: An Organizing Structure for Object-Bases",
  BOOKTITLE = "ACM SIGSOFT/SIGPLAN Software Engineering Symposium
  on Practical Software Development Environments",
  YEAR = "1986",
  PAGES = "16-26",
  PUBLISHER = "ACM Press"
  }


@INPROCEEDINGS{lieberman:prototype,
  AUTHOR = "Henry Lieberman",
  TITLE = "Using Prototypical Objects to Implement 
  Shared Behavior in Object-Oriented Systems",
  BOOKTITLE = oopsla,
  YEAR = "1986",
  PAGES = "214-223",
  PUBLISHER = "ACM",
  VOL = 21,
  NUMBER = 11
  }

@INPROCEEDINGS{ungar-smith:self-87,
  AUTHOR = "David Ungar and Randall B. Smith",
  TITLE = "Self: The power of Simplicity",
  BOOKTITLE = oopsla,
  YEAR = "1987",
  PAGES = "227-242",
  PUBLISHER = "ACM",
  VOL = 22,
  NUMBER = 12
  }

@ARTICLE{liu:pattern-81,
  AUTHOR = "Ken-Chih Liu",
  TITLE = "On string pattern matching: 
  A new model with a polynomial time algorithm",
  JOURNAL = siam-comp,
  YEAR = "1981",
  PAGES = "118-140",
  MONTH = "February",
  VOLUME = 10,
  NUMBER = 1
  }



@INPROCEEDINGS{fleck:patterns-78,
  AUTHOR = "A.C. Fleck",
  TITLE = "Formal models for string patterns",
  BOOKTITLE = "Current trends in programming methodology",
  VOLUME = 4,
  YEAR = "1978",
  PAGES = "216-240",
  EDITOR = "R. Yeh",
  PUBLISHER = "Prentice-Hall"
  }


@ARTICLE{gimple:patterns,
  AUTHOR = "J.F. Gimple",
  TITLE = "A theory of discrete patterns and their implementation in
  {SNOBOL4}",
  JOURNAL = commACM,
  YEAR = 1973,
  PAGES = "91-100",
  VOLUME = 16
  }


@BOOK{griswolds:icon-83,
  AUTHOR = "R.E. Griswold and M.T. Griswold",
  TITLE = "The ICON Programming Language",
  PUBLISHER = "Prentice-Hall", 
  YEAR = "1983", 
  ADDRESS = "Englewood Cliffs"
  }

@BOOK{griswold:snobol-4,
  AUTHOR = "R.E. Griswold and J. Poage and I. Polansky",
  TITLE = "The {Snobol4} Programming Language",
  PUBLISHER = "Prentice-Hall", 
  YEAR = "1971", 
  ADDRESS = "Englewood Cliffs"
  }


@BOOK{shapiro:art-of-p,
  AUTHOR = "L. Sterling and E. Shapiro",
  TITLE = "The Art of Prolog",
  PUBLISHER = "MIT Press", 
  YEAR = "1986",
  ADDRESS = "Cambridge, Mass."
  }

@INPROCEEDINGS{beck-short-pat,
  AUTHOR = "Kent Beck",
  TITLE = "Using a Pattern Language for Programming",
  BOOKTITLE = oopsla,
  YEAR = "1987",
  NOTE = "Addendum to OOPSLA'87 Proceedings, SIGPLAN Notices, Vol. 23, No. 5,
  May 1988",
  PAGES = "16",
  PUBLISHER = "ACM Press"
  }

@ARTICLE{aho-sagiv-ull:query,
  AUTHOR = "A.V. Aho and Y. Sagiv and J.D. Ullman",
  TITLE = "Equivalences among relational expressions",
  JOURNAL = siam-comp,
  YEAR = 1979,
  PAGES = "218-246",
  MONTH = "May",
  VOLUME = 8,
  NUMBER = 2
  }

@INPROCEEDINGS{pfenning-elliott:hoas,
  AUTHOR = "Frank Pfenning and Conal Elliott",
  TITLE = "Higher-Order Abstract Syntax",
  BOOKTITLE = siglan,
  NOTE = "SIGPLAN'88 Conference on Programming Language
  Design and Implementation",
  YEAR = "1988",
  VOLUME = 23,
  NUMBER = 7,
  MONTH = "July",
  ADDRESS = "Atlanta, Georgia",
  PAGES = "199-208",
  PUBLISHER = "ACM Press"
  }

@UNPUBLISHED{hopkins:theory,
  AUTHOR = "Mark William Hopkins",
  TITLE = "The Other Unification Algorithm",
  NOTE = "Theory-net message from University of Wisconsin-Milwaukee",
  MONTH = "Dec",
  YEAR = 1988
  }

@BOOK{donnell:equational-logic,
  AUTHOR = "Michael J. O'Donnell",
  TITLE = "Equational Logic as a Programming Language",
  PUBLISHER = "MIT Press", 
  YEAR = "1985", 
  SERIES = "Foundations of Computations"
  }

@INPROCEEDINGS{tjiang:86,
  AUTHOR = "A.V. Aho and M. Ganapathi",
  TITLE = "Efficient tree pattern matching: an aid to code generation",
  BOOKTITLE = "popl",
  YEAR = "1985",
  PAGES = "334-340"
  }


@TECHREPORT{Lang:80,
  AUTHOR = "H.W. Lang and M. Schimmler and H. Schmeck",
  TITLE = "Matching tree patterns sublinear on the average",
  INSTITUTION = "University of Kiel",
  YEAR = 1980
  }


@ARTICLE{jalote:ood-89,
  AUTHOR = "P. Jalote",
  TITLE = "Functional Refinement and Nested Objects for Object-Oriented Design",
  JOURNAL = ieee-se,
  YEAR = 1989,
  PAGES = "264-270",
  MONTH = "March",
  VOLUME = 15,
  NUMBER = 3
  }

@ARTICLE{plotkin:inductive,
  AUTHOR = "G. Plotkin",
  TITLE = "A note on inductive generalization",
  JOURNAL = "Machine Intelligence",
  YEAR = 1970,
  VOLUME = 5 
  }


@ARTICLE{smolka:inheritance,
  TITLE = "Inheritance hierarchies: Semantics and unification",
  AUTHOR = "G. Smolka and H. Ait-Kaci",
  JOURNAL = "Journal on Symbolic Computation",
  YEAR = 1988,
  EDITOR = "C. Kirchner",
  NOTE = "Special issue on unification"
  }


@ARTICLE{mitchell:version,
  AUTHOR = "T. Mitchell",
  TITLE = "Version spaces: An approach to concept learning",
  JOURNAL = "Ph.D. dissertation, Stanford University",
  YEAR = 1979
  }


@ARTICLE{ait:tcs-86,
  AUTHOR = "H. Ait-Kaci",
  TITLE = "An algebraic semantics approach to the effective resolution of type equations",
  JOURNAL = tcs ,
  YEAR = 1986,
  VOLUME = 45,
  PAGES = "293-351"
  }


@ARTICLE{ait:login,
  AUTHOR = "H. Ait-Kaci and R. Nasr",
  TITLE = "LOGIN: A logic programming language with built-in inheritance",
  JOURNAL = jlp,
  YEAR = 1986,
  VOLUME = 3,
  PAGES = "185-215"
  }


@INPROCEEDINGS{pereira:gram,
  AUTHOR = "F.C.N. Pereira and S. Shieber",
  TITLE = "The semantics of grammar formalisms seen as computer languages",
  BOOKTITLE = "Proceedings of the International Conference on Computer Linguistics",
  YEAR = "1984"
  }


@INPROCEEDINGS{horn:conformance-87,
  AUTHOR = "Chris Horn",
  TITLE = "Conformance, Genericity and Enhancement",
  BOOKTITLE = ecoop,
  YEAR = "1987",
  PAGES = "223",
  PUBLISHER = "Springer Verlag"
  }


@INPROCEEDINGS{dewhurst:scope,
  AUTHOR = "S.C. Dewhurst",
  TITLE = "Object Representation of Scope During Translation",
  BOOKTITLE = ecoop,
  YEAR = "1987",
  PAGES = "71-78",
  PUBLISHER = "Springer Verlag",
  NOTE = "LNCS 276"
  }

@INPROCEEDINGS{kaiser:workspaces,
  AUTHOR = "Gail E. Kaiser and Dewayne E. Perry",
  TITLE = "Workspaces and Experimental Databases:
  Automated Support for Software Maintenance and Evolution",
  BOOKTITLE = csm,
  YEAR = "1987",
  ADDRESS = "Austin, Texas",
  PAGES = "108-114",
  PUBLISHER = "IEEE Computer Society Press"
  }

@TECHREPORT{garlan:transform-88,
  AUTHOR = "Barbara Staudt and Charles {Kr\"uger} and David Garlan",
  TITLE = "TransformGen: Automating the maintenance of structure-oriented
  environments",
  INSTITUTION = "Department of Computer Science, CMU",
  YEAR = 1988,
  MONTH = 11,
  NUMBER = "CMU-CS-88-186"
  }

@ARTICLE{notkin:gandalf-85,
  AUTHOR = "Notkin David S.",
  TITLE = "{The GANDALF project}",
  JOURNAL = jss,
  YEAR = 1985,
  PAGES = "91-105",
  MONTH = "May",
  VOLUME = 5,
  NUMBER = 2
  }

@BOOK{bersoff:config-manag,
  AUTHOR = "E.H. Bersoff and V. D. Henderson and S. G. Siegel ",
  TITLE = "Software Configuration Management",
  PUBLISHER = "Prentice-Hall", 
  YEAR = 1980 
  }

@INPROCEEDINGS{miller:syst-maint,
  AUTHOR = "J. Miller",
  TITLE = "Techniques of Program and System Maintenance",
  PUBLISHER = "Winthrop Publishers", 
  YEAR = "1981", 
  EDITOR= "G. Parikh"
  }


@INPROCEEDINGS{reps:slice,
  AUTHOR = "Susan Horwitz and Thomas Reps and David Binkley",
  TITLE = "Interprocedural slicing using dependence graphs",
  BOOKTITLE = "SIGPLAN '88 conference on programming language design and 
  implementation",
  YEAR = "1988",
  ADDRESS = "Atlanta, Georgia",
  PAGES = "35-56",
  PUBLISHER = "ACM",
  NOTE = "SIGPLAN Notices, Vol. 23, No.7, July 1988"
  }


@ARTICLE{fass:sig-act,
  AUTHOR = "L.F. Fass",
  TITLE = "On the Inference of Canonical Context-free Grammar",
  JOURNAL = "SIGACT News",
  YEAR = 1986,
  PAGES = "55-60",
  MONTH = "Spring",
  VOLUME = 17,
  NUMBER = 4
  }

@ARTICLE{skeletal-str:infco,
  AUTHOR = " L.S. Levy and A.K. Joshi",
  TITLE = "Skeletal Structural Descriptions",
  JOURNAL = "Information and Control",
  YEAR = 1978,
  PAGES = "192-211",
  VOLUME = 39
  }


@ARTICLE{struct-equiv:68,
  AUTHOR = "M.C. Paul and S.H. Unger",
  TITLE = "Structural Equivalence of Context-free Languages",
  JOURNAL = jcss,
  YEAR = 1968,
  PAGES = "427-463",
  VOLUME = 2
  }

@ARTICLE{booch:86,
  AUTHOR = "Grady Booch",
  TITLE = "Object-oriented development",
  JOURNAL = ieee-se,
  YEAR = 1986,
  MONTH = "February",
  VOLUME = "SE-12",
  NUMBER = 2
  }

@INPROCEEDINGS{kaplan:scheme,
  AUTHOR = "Vincent F. Russo and Simon M. Kaplan",
  TITLE = "A C++ Interpreter for Scheme",
  BOOKTITLE = "{1988 USENIX C++ Conference}",
  YEAR = "1988",
  ADDRESS = "Denver, CO",
  PAGES = "95-108"
  }

@UNPUBLISHED{green:cog-dim,
  AUTHOR = "T.R.G. Green",
  TITLE = "Cognitive dimensions of Notations",
  NOTE = "MRC Applied Psychology Unit, Rank Xerox EuroPARC, Cambridge",
  MONTH = "February",
  YEAR = 1989
  }

@BOOK{sethi:bear,
  AUTHOR = "Ravi Sethi",
  TITLE = "Programming Languages: Concepts and Constructs",
  PUBLISHER = "Addison-Wesley", 
  YEAR = "1989"
  }

@INPROCEEDINGS{borgida:struct-89,
  TITLE = "CLASSIC: A Structural Data Model for Objects",
  AUTHOR = "A. Borgida and R.J. Brachman and D.L. McGuiness and L.A. Resnick",
  BOOKTITLE = "sigmod",
  YEAR = "1989",
  ADDRESS = "Portland, OR",
  PAGES = "58-67",
  PUBLISHER = "ACM"
  }


%Hal Render

@inproceedings{borison,
    keywords=":scm:data models:process models:",
    author="Ellen Borison",
    title="{``A Model of Software Manufacture''}",
    booktitle="Proceedings of the IFIP International Workshop on Advanced
        Programming Environments",
    address="Trondheim, Norway",
    month=jun,
    year=1987,
    pages="197--220" }
@article{Ditt88,
    keywords=":vc:dbms:data models:",
    title="{``Version Support for Engineering Database Systems''}",
    author="Klaus R. Dittrich and Raymond A. Lorie",
    journal="IEEE Transactions on Software Engineering",
    volume="14",
    number="4",
    month= apr,
    year=1988,
    pages="429--437" }
@inproceedings{heimbigner2,
    keywords=":arcadia:sde:scm:data models:",
    title="{``A Graph Transform Model for Configuration Management Environments''}",
    author="Dennis Heimbigner and Steven Krane",
    booktitle="Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering
        Symposium on Practical Software Development Environments",
    address="Boston, MA",
    month=nov,
    year=1988,
    pages="216--225" }
@techreport{heimbigner3,
    keywords=":arcadia:scm:sde:data models:relations:",
    title="{Active Relations for Specifying \& Implementing Software Object
        Management}",
    author="Dennis Heimbigner and Leon Osterweil and Sutton, Jr., Stanley",
    school="Department of Computer Science, University of Colorado",
    number="CS-CS-406-88",
    month= jul,
    year="1988"}
@inproceedings{huff81,
    keywords=":sde:dbms:scm:data models:",
    author="Karen E. Huff",
    title="{``A Database Model for Effective Configuration Management
                in the Programming Environment''}",
    booktitle="Proceedings of the 5th International Conference on Software
                Engineering",
    address="San Diego, CA",
    month= "March",
    year=1981,
    pages="54--61" }
@inproceedings{lint84,
    keywords=":dbms:data models:scm:views:",
    author="Mark A. Linton",
    title="{``Implementing Relational Views of Programs''}",
    booktitle="Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering
        Symposium on Practical Software Development Environments",
    address="Pittsburgh, PA",
    month= "April",
    year=1984,
    pages="132--140" }
@incollection{lock83,
    keywords=":scm:vc:sde:data models:er:",
    title="{``Analysis of Version and Configuration Control in a Software
        Engineering Environment''}",
    author="Peter C. Lockemann",
    booktitle="Entity-Relationship Approach to Software Engineering",
    Editor="C.G. Davis and S. Jajodia and P.A. Ng and R.T. Yeh",
    publisher="Elsevier Science Publishers",
    address="North-Holland",
    year=1983,
    pages="701--713" }
@inproceedings{minsky85,
    keywords=":darwin:sde:scm:data models:",
    title="{``Controlling the Evolution of Large Scale Software Systems''}",
    author="Naftaly H. Minsky",
    booktitle="Workshop on Software Engineering Environments for
        Programming-in-the-Large",
    address="Harwichport, MA",
    month= "June",
    year=1985,
    pages="1--16" }
@inproceedings{grids,
    keywords=":scm:data models:",
    title="{``Grids:  A New Program Structuring Mechanism Based on Layered
        Graphs''}",
    author="Harold L. Ossher",
    booktitle="Eleventh Annual ACM Symposium on Principles of Programming
        Languages",
    month= jan,
    year="1984",
    pages="11--22"}
@techreport{clemma2,
    keywords=":clemma:scm:data models:",
    author="Hal S. Render and Roy H. Campbell",
    title="{The Design of the CLEMMA Configuration Librarian System}",
    institution="Dept. of Computer Science, University of Illinois at
        Urbana-Champaign",
    number="UIUCDCS-R-88-1458",
    month=Oct,
    year=1988 }
@techreport{staudt,
    keywords=":sde:scm:data models:",
    keywords=":transformgen:software maintenance:sde:",
    title="{TransformGen: Automating the Maintenance of Structure-Oriented
        Environments}",
    author="Barbara Staudt and Charles Krueger and David Garlan",
    school="Department of Computer Science, Carnegie Mellon University",
    number="CMS-CS-88-186",
    month= nov,
    year="1988"}
@inproceedings{tichy81,
    keywords=":vc:scm:data models:",
    title="{``A Data Model for Programming Support Environments''}",
    booktitle="Proceedings of the IFIP WG 8.1 Working Conference on Automated
        Tools for Information System Design and Development",
    author="Walter F. Tichy",
    month= oct,
    year="1981"}
@inproceedings{klahold,
    keywords=":vc:data models:dbms:",
    title="{``A General Model for Version Management in Databases''}",
    booktitle="Proceedings of the 12th International Conference on
        Very Large Databases",
    author="Peter Klahold and Gunter Schlageter and Wolfgang Wilkes",
    address="Kyoto, Japan",
    month= aug,
    year="1986",
    pages="319--327"}
@incollection{lock83,
    keywords=":scm:vc:sde:data models:er:",
    title="{``Analysis of Version and Configuration Control in a Software
        Engineering Environment''}",
    author="Peter C. Lockemann",
    booktitle="Entity-Relationship Approach to Software Engineering",
    Editor="C.G. Davis and S. Jajodia and P.A. Ng and R.T. Yeh",
    publisher="Elsevier Science Publishers",
    address="North-Holland",
    year=1983,
    pages="701--713" }
@inproceedings{perr87b,
    keywords=":sde:vc:mi:data models:",
    author="Dewayne E. Perry",
    title="{``Software Interconnection Models''}",
    booktitle="Proceedings of the 9th International Conference on Software
        Engineering",
    address="Monterey, CA",
    month= "March",
    year=1987,
    pages="61--69" }

%Here are the OO papers:
@article{orwell,
    keywords=":scm:oo:pl:",
    title="{``Orwell: A Configuration Management System for Team Programming''}",
    author="Dave Thomas and Kent Johnson",
    journal="ACM SIGPLAN Notices",
    volume="23",
    number="11",
    month= Nov,
    year="1988",
    pages="135--141" }
@inproceedings{beech,
    keywords=":oo:dbms:vc:",
    title="{``Generalized Version Control in an Object-Oriented Database''}",
    author="David Beech and Brom Mahbod",
    booktitle="Proceedings of the 1988 IEEE Fourth International Conference
        on Data Engineering",
    address="Los Angeles, California",
    month= feb,
    year="1988",
    pages="14--22" }
@inproceedings{katz87,
    keywords=":oo:vc:dbms:data models:",
    title="{``Managing Change in a Computer-Aided Design Database''}",
    author="R. H. Katz and E. Chang",
    booktitle="Proceedings of the 13th International Conference on
                Very Large Data Bases",
    address="Brighton, England",
    month= sep,
    year=1987,
    pages="455--462" }

%Here's the rigorous development paper:
@article{cott84,
    keywords=":vc:sde:svce:",
    title="{``The Rigorous Development of a System Version Control Program''}",
    author="Ian D. Cottam",
    journal="IEEE Transactions on Software Engineering",
    volume="SE-10",
    number="2",
    month= mar,
    year=1984,
    pages="143--154" }

@INPROCEEDINGS{ivar:use-cases,
  TITLE = "Object-oriented development in an industrial environment",
  AUTHOR = "Ivar Jacobson",
  YEAR = "1987",
  BOOKTITLE = oopsla,
  ADDRESS = "Orlando, Florida",
  PAGES ="183-191"
  }


@TECHREPORT{alg-des:89,
  AUTHOR = "David Steier",
  TITLE = "Automating algorithm design within a general 
  architecture for intelligence",
  INSTITUTION = "Carnegie Mellon University",
  YEAR = 1989,
  MONTH = "April",
  NUMBER = "CS-89-128"
  }


@ARTICLE{angluin-smith:indinf,
  AUTHOR = "Dana Angluin and Carl Smith",
  TITLE = "Inductive Inference: Theory",
  JOURNAL = surveys,
  YEAR = 1983,
  PAGES = "237-269",
  MONTH = "September",
  VOLUME = 15,
  NUMBER = 3
  }


@ARTICLE{valiant:learn84,
  AUTHOR = "L.G. Valiant",
  TITLE = "A theory of the learnable",
  JOURNAL = commACM,
  YEAR = 1984,
  PAGES = "1134-1142",
  MONTH = "November",
  VOLUME = 27,
  NUMBER = 11
  }


@ARTICLE{bigger:rec,
  AUTHOR = "Ted J. Biggerstaff",
  TITLE = "Design recovery for
  Maintenance and Reuse",
  JOURNAL = ieee-computer,
  YEAR = 1989,
  PAGES = "36 - 49",
  MONTH = "July",
  VOLUME = 22,
  NUMBER = 7
  }


@INPROCEEDINGS{arango:maintain,
  TITLE = "Maintenance and Porting of Software by Design Recovery",
  AUTHOR = "G. Arango et al.",
  BOOKTITLE = "Proc. Conf. Software Maintenance",
  YEAR = "1985",
  PAGES = "42-49",
  PUBLISHER = "IEEE Computer Society",
  NOTE = "Order No. 648"
  }

@INPROCEEDINGS{michal:so,
  AUTHOR = "R.E. Stepp and R.S. Michalski",
  TITLE = "Conceptual clustering: Inventing goal-oriented classification
  of structured objects",
  BOOKTITLE = "Machine Learning: An Artificial Intelligence Approach,
  Vol. II",
  YEAR = "1986",
  PAGES = "471-498",
  EDITOR = "R.S. Michalski et al.",
  PUBLISHER = "Morgan-Kaufman Publishers"
  }


@INPROCEEDINGS{nix:ed,
  AUTHOR = "R. Nix",
  TITLE = "Editing by example",
  BOOKTITLE = popl,
  YEAR = "1984",
  ADDRESS = "Salt Lake City, Utah",
  PAGES = "186-195",
  PUBLISHER = "ACM"
  }

@TECHREPORT{dipayan-helm:89,
  AUTHOR = "Dipayan Gangopadhyay and Richard Helm",
  TITLE = "A model driven approach for the reuse of classes from domain specific
  object-oriented class repositories",
  INSTITUTION = "IBM Research Division, T.J. Watson Research Center",
  YEAR = 1989,
  MONTH = "March",
  NUMBER = "RC14510"
  }


@INPROCEEDINGS{tygar:netlist,
  AUTHOR = "J.D. Tygar and Ron Ellikson",
  TITLE = "Efficient Netlist Comparison Using Hierarchy and Randomization",
  BOOKTITLE = dac,
  YEAR = "1985",
  PAGES = "702-708",
  PUBLISHER = "IEEE"
  }


@ARTICLE{sol-str:f,
  AUTHOR = "R. Solovay and V. Strassen",
  TITLE = "A fast Monte-Carlo test for
  primality",
  JOURNAL = SIAM-comp,
  YEAR = 1977,
  PAGES = "84-85",
  MONTH = "March",
  VOLUME = 6
  }


@INPROCEEDINGS{luks1:b,
  AUTHOR = "Gene Luks",
  TITLE = "Isomorphism of Graphs
  of Bounded Valence Can be Tested in Polynomial
  Time",
  BOOKTITLE = focs,
  YEAR = "1980",
  PAGES = "42-49"
  }

@ARTICLE{Thinkpad:reiss,
  AUTHOR = "R.V. Rubin and E.J. Golin and S.P. Reiss",
  TITLE = "{ThinkPad}: A graphical system for programming by demonstration",
  JOURNAL = ieee-software,
  YEAR = 1985,
  PAGES = "73-79",
  MONTH = "March",
  VOLUME = 2,
  NUMBER = 2
  }

@ARTICLE{finzer:rehearsal,
  AUTHOR = "W. Finzer and L. Gould",
  TITLE = "Programming by rehearsal",
  JOURNAL = "Byte",
  YEAR = 1984,
  PAGES = "187-210",
  MONTH = "June",
  VOLUME = 9,
  NUMBER = 6
  }

@INPROCEEDINGS{pederson:gen,
  AUTHOR = "Claus H. Pederson",
  TITLE = "Extending Ordinary Inheritance Schemes to Include Generalization",
  BOOKTITLE = oopsla,
  YEAR = "1989",
  ADDRESS = "New Orleans, LA",
  PAGES = "407-418",
  PUBLISHER = "ACM"
  }

@INPROCEEDINGS{oopsla89,
  AUTHOR = "OOPSLA'89",
  BOOKTITLE = oopsla,
  YEAR = "1989",
  ADDRESS = "New Orleans, LA",
  PUBLISHER = "ACM"
  }

@INPROCEEDINGS{maarek:struct,
  AUTHOR = "Yoelle S. Maarek and Frank A. Smadja",
  TITLE = "Full Text Indexing Based on Lexical Relations; An Application:
  Software Libraries",
  BOOKTITLE = "International Conference on Research 
  and Development in Information Retrieval",
  YEAR = "1989",
  ADDRESS = "Cambridge, MA",
  PUBLISHER = "ACM"
  }

@ARTICLE{cstb:scale,
  AUTHOR = "National Research Council",
  TITLE = "Scaling Up: A Research Agenda For Software Engineering",
  JOURNAL = "Computer Science and Technology Board",
  YEAR = 1989,
  PUBLISHER = "National Academy Press"
  }

@ARTICLE{parnas:contract,
  AUTHOR = "David L. Parnas",
  TITLE = "Designing Software for Ease of Extension and Contraction",
  JOURNAL = ieee-se,
  YEAR = 1979,
  PAGES = "128-138",
  MONTH = "March",
  VOLUME = "SE-5",
  NUMBER = 2
  }

@INPROCEEDINGS{domain-reuse:ruben,
  AUTHOR = "Ruben Prieto-Diaz",
  TITLE = "Domain Analysis for Reusability",
  BOOKTITLE = "Proceedings of COMPSAC '87",
  YEAR = 1987,
  PAGES = "23-29",
  PUBLISHER = "IEEE"
  }


@BOOK{tracz:reuse,
  AUTHOR = "Will Tracz",
  TITLE = "Tutorial: Software Reuse: Emerging Technology",
  PUBLISHER = "IEEE Computer Society Press", 
  YEAR = "1988", 
  VOLUME = "846"
  }

@INPROCEEDINGS{atkinson:pers,
  AUTHOR = "M. Atkinson",
  TITLE = "Questioning Persistent Types",
  BOOKTITLE = dpl,
  YEAR = "1989",
  ADDRESS = "Oregon",
  PAGES = "2-24",
  EDITOR = "R. Hull and R. Morrison and D. Stemple",
  PUBLISHER = "Morgan Kaufmann Publishers"
  }

@INPROCEEDINGS{sof-qual:brown1,
  AUTHOR = "Abbas Birjandi and Cynthia Brown",
  TITLE = "An Onsite Education Program for Software Quality",
  BOOKTITLE = lncs,
  YEAR = "1989",
  NOTE = "Third SEI Conference on Software Engineering Education",
  PUBLISHER = "Springer"
  }


@INPROCEEDINGS{back:brown2,
  AUTHOR = "Cynthia Brown and Larry Finkelstein and Paul Purdom",
  TITLE = "Backtrack
  Searching in the Presence of Symmetry",
  BOOKTITLE = lncs,
  NOTE = "Proceedings of
  the 6th International Conference on Algebraic Algorithms and Error
  Correcting Codes",
  YEAR = "1988",
  PUBLISHER = "Springer"
  }


@INPROCEEDINGS{knuth-bendix:brown3,
  AUTHOR = "Cynthia Brown",
  TITLE = "A Self-Modifying Theorem Prover",
  BOOKTITLE = "Proceedings of the National
  Conference on Artificial Intelligence",
  YEAR = "1984",
  PAGES = "38-41"
  }

@ARTICLE{comp:brown4,
  AUTHOR = "Cynthia Brown and Paul Purdom",
  TITLE = "A Methodology and Notation for Compiler Front-End Design",
  JOURNAL = spe,
  YEAR = 1984,
  PAGES = "335-346",
  VOLUME = 14 
  }


@UNPUBLISHED{trader:brown5,
  AUTHOR = "Cynthia Brown and Ian Holland and Robin Mesch",
  TITLE = "TRADER: An Expert System for Trading Commodities Futures",
  NOTE = "in preparation",
  YEAR = 1989
  }

@ARTICLE{pure:brown6,
  AUTHOR = "Cynthia Brown and Paul Purdom",
  TITLE = "The Pure Literal Rule and Polynomial Average Time",
  JOURNAL = siam-comp,
  YEAR = 1985,
  PAGES = "943-953",
  VOLUME = 14
  }

@ARTICLE{ave:brown7,
  AUTHOR = "Cynthia Brown and Khaled Bugrara",
  TITLE = "On the Average Case Analysis of Some Backtracking Model
  Problems",
  JOURNAL = "Information Sciences" ,
  YEAR = 1986,
  PAGES = "21-37",
  VOLUME = 40 
  }

@ARTICLE{match:brown8,
  AUTHOR = "Cynthia Brown and Paul Purdom",
  TITLE = "Tree Matching and Simplification",
  JOURNAL = spe,
  YEAR = 1987,
  PAGES = "105-115",
  VOLUME = 17
  }

@ARTICLE{poly:brown9,
  AUTHOR = "Cynthia Brown and Paul Purdom",
  TITLE = "Polynomial-Average-Time Satisfiability Problems",
  JOURNAL = "Information Sciences",
  YEAR = 1987,
  PAGES = "23-42",
  VOLUME = 41
  }

@ARTICLE{base:brown10,
  AUTHOR = "Cynthia Brown and L. Finkelstein and P. W. Purdom",
  TITLE = "A New Base Change Algorithm for Permutation Groups",
  JOURNAL = siam-comp,
  YEAR = 1989,
  PAGES = "?",
  MONTH = "?",
  VOLUME = "?",
  NOTE = "to appear"
  }

@ARTICLE{reps-prins:integr,
  AUTHOR = "Susan Horwitz and Jan Prins and Thomas Reps",
  TITLE = "Integrating noninterfering versions of programs",
  JOURNAL = toplas,
  YEAR = 1989,
  PAGES = "?",
  MONTH = "July",
  VOLUME = "?",
  NUMBER = "?"
  }

@ARTICLE{objectz:duke89,
AUTHOR = "D. Duke and R. Duke and G. Rose and G. Smith",
TITLE  = "Object-Z: An object-oriented extension to Z",
JOURNAL = "Formal Description Techniques (FORTE '89)",
YEAR = 1989,
MONTH = "Dec."
				}

@ARTICLE{verifier:moriconi79,
AUTHOR = "Mark S. Moriconi",
TITLE  = "A Designers/Verifier's Assistant",
JOURNAL = ieee-se,
YEAR = 1979,
PAGES = "387-401",
VOLUME = 5
}


@TECHREPORT{scaling:cstb89,
    AUTHOR = "Computer Science Technology Board",
    TITLE  = "Scaling Up: A Research Agenda For Software Engineering",
    INSTITUTION =  "National Research Council", 
    YEAR = 1989,
    MONTH = "Feburary",
    NOTE = "National Academy Press, Washington, D.C. 1989" 
    }


@ARTICLE{stat:parikh87,
    AUTHOR = "Girish Parikh",
    TITLE  = "Making the Immortal Language Work",
    JOURNAL = "International Computer Programs Business Software Review",
    YEAR = 1987,
    MONTH = "April",
    PAGES = "unknown",
    NUMBER = 33 
    }

@ARTICLE{rpde:harrison87,
AUTHOR = "William Harrison",
JOURNAL = ieee-software,
YEAR = "1987",
TITLE = "The {RPDE3} Environment- A Framework for Integrating Tool Fragments",
MONTH = "November"
}

@ARTICLE{yoyo:taenzer89,
AUTHOR = "David Taenzer and Murthy Ganti and Sunil Podar",
JOURNAL = joop,
YEAR = "1989",
TITLE = "Object-Oriented Software Reuse: The Yoyo Problem",
VOLUME = 2,
NUMBER = 3,
MONTH = "September/October",
PAGES = "30-36"
}

@INPROCEEDINGS{impact:arnold89,
AUTHOR = "Robert S. Arnold",
BOOKTITLE = csm,
TITLE = "Tutorial on Impact Analysis",
YEAR = "1989",
NOTE = "Tutorial Notes for Tutorial No. 1. Not part of the proceedings"
}

@INPROCEEDINGS{interfaces:canning89,
AUTHOR = "Peter S. Canning and William Cook and Walter G. Olthoff",
TITLE = "Interfaces for Strongly-Typed Object-Oriented Programming",
BOOKTITLE = oopsla,
YEAR = "1989",
PAGES = "457-467",
PUBLISHER = "ACM",
VOL = 24,
NUMBER = 10
}

@INPROCEEDINGS{semantics:cook89,
AUTHOR = "William Cook",
TITLE = "A Denotational Semantics of Inheritance and its Correctness",
BOOKTITLE = oopsla,
YEAR = "1989",
PAGES = "433-445",
PUBLISHER = "ACM",
VOL = 24,
NUMBER = 10
}



@TECHREPORT{snyder-tc:89,
  AUTHOR = "Alan Snyder and Walt Hill and Walter Olthoff",
  TITLE = "A Glossary of Common Object-Oriented Terminology",
  INSTITUTION = "Hewlett-Packard Company",
  YEAR = 1989,
  MONTH = "September",
  NUMBER = "STL-89-26"
  }

@ARTICLE{aho:transitive,
  AUTHOR = "A.V. Aho and M.R. Garey and J.D. Ullman",
  TITLE = "The transitive reduction of a directed graph",
  JOURNAL = siam-comp,
  YEAR = 1972,
  PAGES = "131-137",
  VOLUME = 1 
  }

@INPROCEEDINGS{wadler:views,
  AUTHOR = "P. Wadler",
  TITLE = "A way for pattern matching to cohabit with data abstraction",
  BOOKTITLE = popl,
  YEAR = "1987",
  ADDRESS = "Munich",
  PUBLISHER = "ACM"
  }
% note: SIGPLAN Vol. 24, No. 11, Nov. 1989

@INPROCEEDINGS{yap:formats-1,
  AUTHOR = "Colm O'Dunlaing and Chee K. Yap",
  TITLE = "Generic Transformations of Data Structures",
  BOOKTITLE = focs,
  YEAR = "1982",
  ADDRESS = "Chicago, Illinois",
  PAGES = "186-195",
  PUBLISHER = "IEEE"
  }

@INPROCEEDINGS{yap:formats-2,
  AUTHOR = "R.B. Hull and C.K. Yap",
  TITLE = "The format model: A theory of data organization",
  BOOKTITLE = pds,
  YEAR = "1982",
  ADDRESS = "Los Angeles",
  PAGES = "205-211",
  PUBLISHER = "ACM"
  }


@ARTICLE{yap:formats3,
  AUTHOR = "R.B. Hull and C.K. Yap",
  TITLE = "The format model: A theory of data organization",
  JOURNAL = jacm,
  YEAR = 1984,
  PAGES = "518-537",
  MONTH = "July",
  VOLUME = 31,
  NUMBER = 3
  }

@ARTICLE{meyer:dr-dobbs,
AUTHOR = "Bertrand Meyer",
TITLE = "Writing Correct Software with EIFFEL",
JOURNAL = "Dr. Dobbs Journal" ,
YEAR = 1989,
PAGES = "48-64",
MONTH = "December",
VOLUME = 14,
NUMBER = 12 
}

@INPROCEEDINGS{wirfs-brock:clientserver,
AUTHOR = "Rebecca Wirfs-Brock and Brian Wilkerson",
TITLE = "Object-Oriented Design: A Responsibility-Driven Approach",
BOOKTITLE = oopsla,
YEAR = "1989",
ADDRESS = "New Orleans, LA",
PAGES = "71-76",
PUBLISHER = "ACM"
}

@INPROCEEDINGS{beck:crc,
AUTHOR = "Kent Beck and Ward Cunningham", 
TITLE = "A Laboratory for Teaching Object Oriented Thinking",
BOOKTITLE = oopsla,
YEAR = "1989",
ADDRESS = "New Orleans, LA",
PAGES = "1-6",
PUBLISHER = "ACM"
}

@INPROCEEDINGS{shah-dsm:oopsla89,
AUTHOR = "Ashwin Shah and Jung Hamel and Renee Borsari",
TITLE = "DSM: An Object-Relationship Modeling Language",
BOOKTITLE = oopsla,
YEAR = "1989",
ADDRESS = "New Orleans, LA",
PAGES = "191-202",
PUBLISHER = "ACM"
}

@TECHREPORT{ashok-depot:ibm,
AUTHOR = "Ashok Malhotra and Karen Appleby and Kyu Young Wang",
TITLE  = "DEPOT",
INSTITUTION =  "International Business Machines",
YEAR = 1989,
NOTE = "Exact title and number unknown"
}

@INPROCEEDINGS{disco:ices90,
AUTHOR = "H. Jarvinen and R. Kurki-Suonio and M. Sakkinen and K. Systa",
BOOKTITLE = icse,
YEAR = "1990",
ADDRESS = "Nice, France",
TITLE = "Object-Oriented Specification of Reactive Systems",
PAGES = "unknown",
NOTE = "To appear"
}

@ARTICLE{scripts:brent,
AUTHOR = "N. Francez and B. Hailpern and Gadi Taubenfeld",
TITLE = "Script: A communication abstraction mechanism, and its verification",
JOURNAL = "Science of Computer Programming",
YEAR = 1986,
PAGES = "35-88",
VOLUME = 6,
NUMBER = 1
}

@ARTICLE{interactions:evangel,
AUTHOR = "M. Evangelist and N. Francez and S. Katz",
TITLE = "Multiparty  Interactions for Interprocess Communication and Synchronization ",
JOURNAL = ieee-se,
YEAR = 1989,
PAGES = "1417-1426",
MONTH = "November",
VOLUME = 15,
NUMBER = 11
}

@ARTICLE{joint:back,
AUTHOR =  "R.J.R. Back and R. Kurki-Suonio",
TITLE = "Distributed cooperation with action systems",
JOURNAL = toplas,
YEAR =  1988,
PAGES = "513-554",
MONTH = "October",
VOLUME = 10,
NUMBER = 4 
}


@ARTICLE{chen:eer-cl,
  AUTHOR = "P. Chen",
  TITLE = "The entity relationship model: Toward a unified view of data",
  JOURNAL = tdb ,
  YEAR = 1976,
  PAGES = "9-36",
  MONTH = "March",
  VOLUME = 1,
  NUMBER = 1
  }

@INPROCEEDINGS{phil-rich:o2,
  AUTHOR = "Christophe Lecluse and Philipe Richard and Fernando Velez",
  TITLE = "O2, an Object-Oriented Data Model",
  BOOKTITLE = zdonik-meyer,
  YEAR = "1990",
  PAGES = "227-236",
  EDITOR = "Zdonik and Maier",
  PUBLISHER = "Morgan Kaufmann Publishers"
  }


@INPROCEEDINGS{blake-cook:parts,
  AUTHOR = "Edwin Blake and Steve Cook",
  TITLE = "On including part hierarchies in object-oriented languages, with
  an implementation in Smalltalk",
  BOOKTITLE = ecoop,
  YEAR = "1987",
  PAGES = "41-50",
  PUBLISHER = "Springer"
  }

@ARTICLE{teorey:ext,
  AUTHOR = "T.J. Teorey and D. Yang and J.P. Fry",
  TITLE = "A logical design methodology for relational databases",
  JOURNAL = surveys,
  YEAR = 1986,
  PAGES = "197-222",
  MONTH = "June",
  VOLUME = 18,
  NUMBER = 2
  }


@INPROCEEDINGS{deutsch:reuse,
  AUTHOR = "L. Peter Deutsch",
  TITLE = "{Design reuse and frameworks in the Smalltalk-80 system}",
  BOOKTITLE = "Software reusability, Applications and experience",
  EDITOR = "Ted J. Biggerstaff and Alan J. Perlis",
  YEAR = 1989,
	VOLUME = 2,
	PUBLISHER = "{ACM} Press"
  }

@BOOK{cole:alg-skl-89,
AUTHOR = "Murray Cole",
TITLE = "Algorithmic Skeletons: Structured Management of Parallel Computation", 
PUBLISHER = mit, 
YEAR = "1989",
SERIES = "Research Monographs in Parallel and Distributed Computing"
}


%  AUTHOR = "Ernst Specker",
@INBOOK{specker-select:90,
  TITLE = "Ernst Specker Selecta",
  EDITOR = "Gerhard J{\"a}ger and Hans L{\"a}uchli and Bruno Scarpellini and
  Volker Strassen",
  PUBLISHER = "Birkh{\"a}user Verlag, Basel, Boston, Berlin", 
  YEAR = "1990"
  }

@INBOOK{behnke-fund:74,
  TITLE = "Fundamentals of Mathematics",
  EDITOR = "H. Behnke and F. Bachmann and K. Fladt and W. S{\"u}ss",
  PUBLISHER = mit,
  YEAR = "1974"
  }

@BOOK{hop-ull:aut,
AUTHOR = "John E. Hopcroft and Jeffrey D. Ullman",
TITLE = "Introduction to Automata Theory, Languages, and Computation",
PUBLISHER = "Addison-Wesley", 
YEAR = "1979"
}

@ARTICLE{hunt-rosen-szym:equiv76,
AUTHOR = "H.B. Hunt and D.J. Rosenkrantz and T.G. Szymanski",
TITLE = "On the equivalence, containment, and covering problems for the regular
and context-free languages",
JOURNAL = jcss,
YEAR = 1976,
PAGES = "222-268",
VOLUME = 12
}

@ARTICLE{hunt-szymanski:meta76,
  AUTHOR = "H.B. Hunt and T.G. Szymanski",
  TITLE = "Complexity metatheorems for context-free grammar problems",
  JOURNAL = jcss,
  YEAR = 1976,
  PAGES = "318-334",
  VOLUME = 13
  }

@ARTICLE{hunt-szymanski:low,
  AUTHOR = "H.B. Hunt and T.G. Szymanski",
  TITLE = "Lower bounds and reductions between grammar problems",
  JOURNAL = jacm,
  YEAR = 1978,
  PAGES = "32-51",
  VOLUME = 25
  }


@ARTICLE{pernici:todos,
  AUTHOR = "B. Pernici and F. Barbic and M.G. Fugini and R. Maiocchi and
  J.R. Rames and C. Rolland",
  TITLE = "{C-TODOS}: An automatic tool for office system conceptual
  design",
  JOURNAL = tois ,
  YEAR = 1989,
  PAGES = "378-419",
  MONTH = "October",
  VOLUME = 7,
  NUMBER = 4
  }


@BOOK{hb-ai:3,
  AUTHOR = "Paul R. Cohen and Edward A. Feigenbaum",
  TITLE = "The Handbook of Artificial Intelligence",
  PUBLISHER = "William Kaufmann, Inc.", 
  YEAR = "1982", 
  VOLUME = "3"
  }

@BOOK{manber:create,
  AUTHOR = "Udi Manber",
  TITLE = "Introduction to Algorithms: A Creative Approach",
  PUBLISHER = "Addison-Wesley", 
  YEAR = "1989"
  }

@ARTICLE{tarjan:72,
  AUTHOR = "Robert E. Tarjan",
  TITLE = "Depth first search and linear graph algorithms",
  JOURNAL = siam-comp,
  YEAR = 1972,
  PAGES = "146-160",
  MONTH = "June",
  VOLUME = 1
  }


@ARTICLE{wegner:oop,
  AUTHOR = "Peter Wegner",
  TITLE = "Conceptual Evolution of Object-Oriented Programming",
  JOURNAL = "Special interest group on object-oriented systems",
  YEAR = 1990,
  VOLUME = 1,
  NUMBER = 1
  }


@BOOK{stoy:scott,
  AUTHOR = "J.E. Stoy",
  TITLE = "Denotational Semantics: the Scott-Strachey Approach to
  Programming Language Theory",
  PUBLISHER = "MIT Press", 
  YEAR = "1977" 
  }

@ARTICLE{reb-ral:wirfs,
  AUTHOR = "Rebecca J. Wirfs-Brock and Ralph E. Johnson",
  TITLE = "A Survey of Current Research in Object-Oriented Design",
  JOURNAL = commACM,
  YEAR = 1990,
  PAGES = "104-124",
  MONTH = "September",
  VOLUME = 33,
  NUMBER = "9",
  NOTE = "The description of the Demeter project starts on page 120"
  }

@INPROCEEDINGS{geneva-2:ood-casais,
  AUTHOR = "Eduardo Casais",
  TITLE = "Reorganizing an Object System",
  BOOKTITLE = "Object Oriented Development",
  YEAR = "1989",
  PAGES = "161-189",
  EDITOR = "Dennis Tsichritzis",
  PUBLISHER = "Centre Universitaire D'Informatique, Gen{\`e}ve"
  }

@INPROCEEDINGS{geneva-2:ood-papa,
  AUTHOR = "M. Papathomas",
  TITLE = "Concurrency issues in \oo\ programming languages",
  BOOKTITLE = "Object Oriented Development",
  YEAR = "1989",
  PAGES = "207-246",
  EDITOR = "Dennis Tsichritzis",
  PUBLISHER = "Centre Universitaire D'Informatique, Gen{\`e}ve"
  }

@INPROCEEDINGS{geneva-3:ood-casais,
  AUTHOR = "Eduardo Casais",
  TITLE = "Managing Class Evolution in Object-Oriented Systems",
  BOOKTITLE = "Object Management",
  YEAR = "1990",
  PAGES = "133-195",
  EDITOR = "Dennis Tsichritzis",
  PUBLISHER = "Centre Universitaire D'Informatique, Gen{\`e}ve"
  }

@INPROCEEDINGS{lien:rdbd,
  AUTHOR = "Y.E. Lien",
  TITLE = "Relational database design",
  BOOKTITLE = "Principles of Database Design",
  YEAR = "1985",
  PAGES = "211-254",
  EDITOR = "S. Bing Yao",
  PUBLISHER = "Prentice-Hall"
  }

@ARTICLE{konsynski:rest,
  AUTHOR = "J. Karimi and B.R. Konsynski",
  TITLE = "An automated software design assistant",
  JOURNAL = ieee-se,
  YEAR = 1988,
  PAGES = "194-210",
  MONTH = "Feb.",
  VOLUME = 14,
  NUMBER = 2
  }

@INPROCEEDINGS{paradaens:good,
  AUTHOR = "Marc Gyssens and Jan Paradaens and Dirk Van Gucht",
  TITLE = "A graph-oriented object model for database end-user
  interfaces",
  BOOKTITLE = sigmod,
  YEAR = "1990",
  ADDRESS = "Atlantic City",
  PAGES = "24-33",
  EDITOR = "Hector Garcia-Molina and H.V. Jagadish",
  PUBLISHER = "ACM Press"
  }

@INPROCEEDINGS{manif:dittrich,
  AUTHOR = "M. Atkinson and F. Bancilhorn and D. De Witt and K. Dittrich and
  D. Maier and S. Zdonik",
  TITLE = "The Object-Oriented Database System Manifesto",
  BOOKTITLE = dood,
  YEAR = "1989",
  ADDRESS = "Kyoto, Japan"
  }
% after vac.

@ARTICLE{abit:hull,
  AUTHOR = "Serge Abiteboul and Richard Hull",
  TITLE = "Restructuring Hierarchical Database Objects",
  JOURNAL = tcs,
  YEAR = 1988,
  PAGES = "3-38",
  NUMBER = 62 
  }


@INPROCEEDINGS{kuper-vardi:84,
  AUTHOR = "G.M. Kuper and M.Y. Vardi",
  TITLE = "The logical data model",
  BOOKTITLE = pds,
  YEAR = "1984",
  PAGES = "86-96",
  PUBLISHER = "ACM"
  }

@ARTICLE{klaus:mar,
  AUTHOR = "Klaus R. Dittrich",
  TITLE = "Object-Oriented Database Systems: The Next Miles of the Marathon",
  JOURNAL = is ,
  YEAR = 1990,
  PAGES = "161-167",
  VOLUME = 15 ,
  NUMBER = 1
  }


@INPROCEEDINGS{borg-mitch:learn,
  AUTHOR = "Alexander Borgida and Tom Mitchell and Keith Williamson",
  TITLE = "Learning improved integrity constraints and schemas from
  exceptions in data and knowledge bases",
  EDITOR = "Michael L. Brodie and John Mylopoulos",
  YEAR = "1986",
  PAGES = "259-286",
  BOOKTITLE = "On Knowledge Base Management Systems",
  PUBLISHER = "Springer Verlag"
  }


@TECHREPORT{winston:70,
  AUTHOR = "P.H. Winston",
  TITLE = "Learning Structural Descriptions from Examples",
  INSTITUTION = "MIT",
  YEAR = 1970,
  NUMBER = "76",
  NOTE = "Project MAC"
  }


@BOOK{dennis:dm,
AUTHOR = "Dennis Tsichritzis and Frederick Lochovsky",
TITLE = "Data Models",
PUBLISHER = "Prentice-Hall", 
YEAR = "1982", 
SERIES = "Software Series"
}

@TECHREPORT{bibel:87,
  AUTHOR = "Wolfgang Bibel",
  TITLE = "Advanced Topics in Automated Deduction",
  INSTITUTION = "Dep. of Computer Science, University of British Columbia,
  Vancouver, B.C., Canada V6T 1W5",
  YEAR = 1987,
  MONTH = "November",
  NUMBER = "87-39"
  }


@BOOK{booch:all,
  AUTHOR = "Grady Booch",
  TITLE = "Object-Oriented Design With Applications",
  PUBLISHER = "Benjamin/Cummings Publishing Company, Inc.", 
  YEAR = "1991" 
  }

@INPROCEEDINGS{ian-helm:oopsla,
AUTHOR = "Richard Helm and Ian M. Holland and Dipayan Gangopadhyay",
TITLE = "Contracts: Specifying Behavioral Compositions in
Object-Oriented Systems",
BOOKTITLE = oopsla,
YEAR = "1990",
ADDRESS = "Ottawa",
PAGES = "169-180",
PUBLISHER = "ACM Press",
NOTE = "Joint conference ECOOP/OOPSLA"
}


@BOOK{coad-yourdon:ooa,
  AUTHOR = "Peter Coad and Edward Yourdon",
  TITLE = "Object-Oriented Analysis",
  PUBLISHER = "Yourdon Press", 
  YEAR = "1990",
  NOTE = "Second edition"
  }

@BOOK{abcl:aki,
  AUTHOR = "Akinori Yonezawa",
  TITLE = "ABCL: An Object-Oriented Concurrent System",
  PUBLISHER = mit, 
  YEAR = "1990", 
  SERIES = "Computer Systems Series"
  }


@BOOK{www-90:resp,
AUTHOR = "Rebecca Wirfs-Brock and Brian Wilkerson and Lauren Wiener",
TITLE = "Designing Object-Oriented Software",
PUBLISHER = "Prentice-Hall", 
YEAR = "1990"
}

@TECHREPORT{cmu-cs-90-139,
  AUTHOR = "Richmond H. Thomason and David S. Touretzky",
  TITLE = "Inheritance Theory and Networks with Roles",
  INSTITUTION = "Carnegie Mellon University",
  YEAR = 1990,
  MONTH = "June",
  NUMBER = "CMU-CS-90-139",
  NOTE = "also appears in J. Sowa (ed.), Principles of Semantic Networks:
	 Explorations in the Representati[on of Knowledge. San Mateo, CA:
	 Morgan Kaufmann"
  }


@INPROCEEDINGS{roy1:choices,
  AUTHOR = "Roy Campbell and Vincent Russo and Gary Johnston",
  TITLE = "The Design of a Multiprocessor Operating System",
  BOOKTITLE = "Proceedings of the USENIX C++ Workshop",
  YEAR = "1987",
  ADDRESS = "Santa Fe, NM",
  PAGES = "109-126",
  PUBLISHER = "USENIX Association"
  }


@INPROCEEDINGS{roy2:oopsla,
  AUTHOR = "Vincent Russo and Gary Johnston and Roy Campbell",
  TITLE = "Process Management and Exception Handling in Multiprocessor Operating Systems Using Object-Oriented Design Techniques",
  BOOKTITLE = oopsla,
  YEAR = "1988",
  ADDRESS = "San Diego, CA",
  PAGES = "248-258",
  PUBLISHER = "ACM"
  }

%SEM
@INPROCEEDINGS{rumb:oopsla,
  AUTHOR = "James Rumbaugh",
  TITLE = "Controlling Propagation of Operations
  using Attributes on Relations",
  BOOKTITLE = oopsla,
  YEAR = "1988",
  ADDRESS = "San Diego, CA",
  PAGES = "285-297",
  PUBLISHER = "ACM"
  }



@ARTICLE{step-rev:review,
  AUTHOR = "G. Haring",
  TITLE = "{Review of ``Contributions to teaching object-oriented design and
  programming}'' ",
  JOURNAL = comp-reviews,
  YEAR = 1990,
  PAGES = "443",
  MONTH = "September",
  VOLUME = 31,
  NUMBER = 9
  }

@TECHREPORT{pun-winder,
  AUTHOR = "Winnie W. Y. Pun and Russel L. Winder",
  TITLE = "Automating Class Hierarchy Graph Construction",
  INSTITUTION = "University College London",
  YEAR = 1989
  }

@ARTICLE{cacm-oscar,
  AUTHOR = "Simon Gibbs and Dennis Tsichritzis and Eduardo Casais and
  Oscar Nierstrasz and Xavier Pintado",
  TITLE = "Class Management for Software Communities",
  JOURNAL = commACM,
  YEAR = 1990,
  PAGES = "90-103",
  MONTH = "September",
  VOLUME = 33,
  NUMBER = 9
  }

@INPROCEEDINGS{pirri:inh,
  AUTHOR = "Fiora Pirri",
  TITLE = "Modelling a Multiple Inheritance Lattice with Exceptions",
  BOOKTITLE = "Proceedings of the Workshop on Inheritance and
  Hierarchies in Knowledge Representation and Programming Languages",
  YEAR = "1989",
  ADDRESS = "Viareggio",
  PAGES = "91-104",
  PUBLISHER = "",
  MONTH = "February"
  }

@INPROCEEDINGS{algo-schema-des:oodb,
  AUTHOR = "Kim Hyoung-Joo",
  TITLE = "Algorithmic and computational aspects of object-oriented schema design",
  BOOKTITLE = "Object-oriented Databases with applications to {CASE},
  networks and {VLSI CAD}",
  YEAR = "1991",
  PAGES = "26-61",
  EDITOR = "Rajiv Gupta and Ellis Horowitz",
  PUBLISHER = "Prentice-Hall Series in Data and Knowledge Base Systems"
  }

@INPROCEEDINGS{gupta:oodb,
  AUTHOR = "Qing Li and Dennis McLeod",
  TITLE = "Conceptual Database Evolution Through Learning",
  BOOKTITLE = "Object-oriented Databases with applications to {CASE},
  networks and {VLSI CAD}",
  YEAR = "1991",
  PAGES = "62-74",
  EDITOR = "Rajiv Gupta and Ellis Horowitz",
  PUBLISHER = "Prentice-Hall Series in Data and Knowledge Base Systems"
  }

@ARTICLE{wegner:oops-mess,
  AUTHOR = "Peter Wegner",
  TITLE = "Concepts and Paradigms of Object-Oriented Programming",
  JOURNAL = oops-mess,
  YEAR = 1990,
  PAGES = "7-87",
  MONTH = "Aug.",
  VOLUME = 1,
  NUMBER = 1
  }

@INPROCEEDINGS{geib:mult-inh,
  AUTHOR = "Bernard Carr{\'e} and Jean-Marc Geib",
  TITLE = "The Point of View notion for Multiple inheritance",
  BOOKTITLE = oopsla,
  YEAR = "1990",
  ADDRESS = "Ottowa",
  PAGES = "312-321",
  PUBLISHER = "ACM Press",
  NOTE = "joint conference ECOOP/OOPSLA"
  }


@ARTICLE{andrews-schneider:ccp,
  AUTHOR = "G.R. Andrews and F.B. Schneider",
  TITLE = "Concepts and notations for concurrent programming",
  JOURNAL = surveys,
  YEAR = 1983,
  PAGES = "3-43",
  VOLUME = 15,
  NUMBER = 1
  }

@ARTICLE{lamport:concurrent-modules,
  AUTHOR = "L. Lamport",
  TITLE = "Specifying Concurrent Program Modules",
  JOURNAL = toplas,
  YEAR = 1983,
  PAGES = "190-222",
  MONTH = "April",
  VOLUME = 5,
  NUMBER = 2
  }

@INPROCEEDINGS{purchase-russel:mps,
  AUTHOR = "Jan A. Purchase and Russel L. Winder",
  TITLE = "Message Pattern Specifications: A new technique for handling
  errors in parallel object oriented systems",
  BOOKTITLE = oopsla,
  YEAR = "1990",
  ADDRESS = "Ottawa",
  PAGES = "116-125",
  PUBLISHER = "ACM"
  }

@INPROCEEDINGS{oswald:oo-petri,
  AUTHOR = "H. Oswald and R. Esser and R. Mattmann",
  TITLE = "An Environment for Specifying and Executing Hierarchical Petri Nets",
  BOOKTITLE = icse,
  YEAR = "1990",
  ADDRESS = "Nice, France",
  PAGES = "?",
  MONTH = "March",
  NOTE = "12th ICSE"
  }


@INPROCEEDINGS{cook:eiffel,
  AUTHOR = "William Cook",
  TITLE = "A proposal for making Eiffel type-safe",
  BOOKTITLE = ecoop,
  YEAR = "1989",
  PAGES = "?",
  PUBLISHER = "Oxford University Press"
  }

%SEM
@ARTICLE{caromel:conc-reuse,
  AUTHOR = "Denis Caromel",
  TITLE = "Concurrency and Reusability: From Sequential To Parallel",
  JOURNAL = joop,
  YEAR = 1990,
  PAGES = "34-42",
  MONTH = "Sep./Oct.",
  VOLUME = 3,
  NUMBER = 3
  }

@INPROCEEDINGS{gonnet-tompa:grammar,
  AUTHOR = "Gaston Gonnet and Frank Wm. Tompa",
  TITLE = "Mind Your Grammar: A New Approach to Modelling Text",
  BOOKTITLE = vldb,
  YEAR = "1987",
  ADDRESS = "Brighton, England",
  PAGES = "339-346",
  PUBLISHER = "Morgan Kaufmann"
  }


@TECHREPORT{bacl:panoramas,
  AUTHOR = "Ken Baclawski",
  TITLE = "Panoramas and Grammars: A New View of Data Models",
  INSTITUTION = "Northeastern University",
  NUMBER = "NU-CCS-91-2",
  MONTH = "Feb.",
  YEAR = "1991"
  }


@BOOK{mehlhorn:graph-algs,
  AUTHOR = "Kurt Mehlhorn",
  TITLE = "Data Structures and Algorithms 2:
  Graph Algorithms and NP-Completeness",
  PUBLISHER = "Springer Verlag", 
  YEAR = "1984"
  }


@INPROCEEDINGS{schwartz:subst-eo90,
AUTHOR = "Jens Palsberg and Michael Schwartzbach",
TITLE = "Type Substitution for Object-Oriented Programming",
BOOKTITLE = oopsla,
YEAR = "1990",
ADDRESS = "Ottawa",
PAGES = "151-160",
EDITOR = "N. Meyrowitz",
PUBLISHER = "ACM"
}


@BOOK{rumbaugh:oom,
  AUTHOR = "James Rumbaugh and Michael Blaha and William Premerlani and Frederick Eddy and William Lorensen",
  TITLE = "Object-Oriented Modeling and Design",
  PUBLISHER = "Prentice-Hall", 
  YEAR = "1991"
  }


@BOOK{sem:iee,
  AUTHOR = "Jim  Woodcock and Martin Loomes",
  TITLE = "Software Engineering Mathematics",
  PUBLISHER = "Addison-Wesley", 
  YEAR = "1988"
  }

@BOOK{C++:Pohl,
  AUTHOR = "Ira Pohl",
  TITLE = "C++ for Pascal Programmers",
  PUBLISHER = "Addison-Wesley", 
  YEAR = "1991" 
  }

@BOOK{C++:ds,
  AUTHOR = "Stephen C. Dewhurst and Kathy T. Stark",
  TITLE = "Programming in C++",
  PUBLISHER = "Prentice-Hall", 
  YEAR = "1989", 
  SERIES = "Prentice-Hall Software Series"
  }

%SEM
@INPROCEEDINGS{ibarra-sigact80:equi,
  AUTHOR = "Oscar H. Ibarra",
  TITLE = "The Complexity of the Equivalence Problem for Straight-Line Programs",
  BOOKTITLE = sig-act,
  YEAR = "1980",
  ADDRESS = "Los Angeles, CA",
  PAGES = "273-280",
  PUBLISHER = "ACM"
  }

@BOOK{hughes:oodb,
  AUTHOR = "John G. Hughes",
  TITLE = "Object-Oriented Databases ",
  PUBLISHER = "Prentice-Hall", 
  YEAR = "1991", 
  SERIES = "International Series in Computer Science"
  }

%SEM
@INPROCEEDINGS{wilde-huit:maint-support,
AUTHOR = "Norman Wilde and Ross Huitt",
TITLE = "Maintenance Support for Object-Oriented Programs",
BOOKTITLE = csm,
YEAR = 1991,
PUBLISHER = ieee,
PAGES = "162-170",
ADDRESS = "Sorrento, Italy"
}

@TECHREPORT{Baclawski.Simovici:90,
  AUTHOR = {Baclawski, K. and Simovici, D.},
    TITLE = {An algebraic approach to databases with complex objects},
      INSTITUTION = {Northeastern University, College of Computer~Science},
	NUMBER = {NU-CCS-90-14},
	  YEAR = {1990}
	  }
@TECHREPORT{Baclawski:90c,
  AUTHOR = {Baclawski, K.},
    TITLE = {The structural semantics of inheritance},
      INSTITUTION = {Northeastern University, College of Computer~Science},
	NUMBER = {NU-CCS-90-23},
	  YEAR = {1990}
	  }


@TECHREPORT{wirth:82,
  AUTHOR = "Niklaus Wirth",
  TITLE = "{Hades: A Notation for the Description of Hardware}",
  INSTITUTION = "Swiss Federal Institute of Technology",
  YEAR = 1982,
  MONTH = "August"
  }


@INPROCEEDINGS{german-wang:verif-85,
  AUTHOR = "S.M German and Y. Wang",
  TITLE = "Formal Verification of Parameterized Hardware Designs",
  BOOKTITLE = "IEEE International Conference of Computer Design: VLSI in Computers",
  YEAR = "1985",
  ADDRESS = "Port Chester, N.Y.",
  PAGES = "549 - 552"
  }

%SEM
@TECHREPORT{Antero-91:inh-mech,
  AUTHOR = "Antero Taivalsaari",
  TITLE = "Towards a Taxonomy of inheritance mechanisms in object-oriented
  programming",
  INSTITUTION = "University of Jyv{\"a}skyl{\"a}",
  YEAR = 1991,
  MONTH = "September",
  NUMBER = "WP-19"
  }



@INPROCEEDINGS{customization:unga,
AUTHOR = "Craig Chambers and David Ungar and Elgin Lee",
  TITLE = "An efficient implementation of Self, a dynamically-typed \oo\
    language based on prototypes",
  BOOKTITLE = oopsla,
  YEAR = "1989",
  ADDRESS = "New Orleans",
  PAGES = "49-70",
  PUBLISHER = "ACM"
  }

%SEM
@INCOLLECTION{beta:madsen-87,
  AUTHOR = "B.B. Kristensen and O.L. Madsen and B. Moller-Pedersen and K. Nygaard",
  TITLE = "{The BETA Programming Language}",
  BOOKTITLE = wegner,
  PAGES = "189-218",
  PUBLISHER = mit,
  YEAR = 1987,
  EDITOR = "Bruce Shriver and Peter Wegner"
  }


@UNPUBLISHED{Bobrow:,
AUTHOR = "Daniel Bobrow",
TITLE = "{Personal communication at OOPSLA '91}",
MONTH = "Oct.",
YEAR = 1991
}

%SEM
@ARTICLE{Sheard:pps,
  AUTHOR = "Tim Sheard",
  TITLE = "Automatic generation and use of abstract structure operators",
  JOURNAL = toplas,
  YEAR = 1991,
  PAGES = "531-557",
  MONTH = "Oct.",
  VOLUME = 13,
  NUMBER = 4
  }


@INCOLLECTION{treaty-orlando,
  AUTHOR = "Lynn Andrea Stein and Henry Lieberman and David Ungar",
  TITLE = "{The Shared View of Sharing: The Treaty of Orlando}",
  BOOKTITLE = lochovsky,
  PAGES = "31-47",
  PUBLISHER = acm,
  YEAR = 1987,
  EDITOR = "Won Kim and Frederick H. Lochovsky"
}



@ARTICLE{MarSho:abbrev-query-int,
AUTHOR =        "Victor M. Markowitz and Arie Shoshani",
TITLE =         "Abbreviated Query Interpretation in
		Entity-Relationship Oriented Databases",
JOURNAL =       "Lawrence Berkeley Lab., Berkeley, CA",
YEAR =          "1989",
VOLUME =        "",
NUMBER =        "",
PAGES =         "",
MONTH =         "",
NOTE =          "",
ANNOTE =        "",
KEY =           ""
}

%SEM
@ARTICLE{HarOss:structure-bound-messages,
AUTHOR =        "William Harrison and Harold Ossher",
TITLE =         "Structure-Bound Messages: Separating Navigation
from Processing",
JOURNAL =       "Submitted for publication",
YEAR =          "1991",
VOLUME =        "",
NUMBER =        "",
PAGES =         "",
MONTH =         "",
NOTE =          "",
ANNOTE =        "",
KEY =           ""
}


%SEM
@INPROCEEDINGS{schwanke:mod-91,
  AUTHOR = "Robert W. Schwanke",
  TITLE = "An Intelligent Tool For Re-engineering Software Modularity",
  BOOKTITLE = icse,
  YEAR = "1991",
  ADDRESS = "Austin",
  PAGES = "83-92",
  EDITOR = "",
  PUBLISHER = "IEEE CS Press"
  }
% this is useful for grouping C