@techreport{Boo96,
author="G. Booch and J. Rumbaugh",
title="Unified Method for Object-Oriented Development",
institution="Rational Software Corporation",
		  address="http://www.relational.com",
		  year=1996,
		  key="Documentation Set Version 0.8",
		  }
		  
@Book{Col95,
		  author="D. {Coleman \em et al}",
		  date=1995,
		  title="Object-Oriented Development at Work:
		  Fusion in the Real World",
		  Publisher="Prentice-Hall"
		  }
		  

		  
@Book{Col94,
		  author="D. {Coleman \em et al}",
		  year=1994,
		  title="Object Oriented Development: The Fusion
		  Method",
		  Publisher="Prentice-Hall"
		  }
		  
@Chapter{Cot95,
		  author="T. Cotton",
		  title="Evolutionary Fusion: A Customer-Oriented
		  Incremental Life Cycle for Fusion",
		  chapter=6,
		  crossref="Col95"

}

@techreport{Gre96,
		  author = "R.M. Greenwood and I. Robertson and
		  R.A. Snowdon and B.C. Warboys",
		  title="Active Models in Business",
		  institution="Department of Computer Science,
		  University of Manchester",
		  year=1996,
		  abstract="Processwise team report in linking
		  business models to IT model"
}
		  
@book{Gan78,
    author = "C. Gane and T. Sarson",
    title = "Structured Systems Analysis: Tools and Techniques",
    publisher = "Prentice-Hall",
    year = 1978
}              

@book{Ash93,
    author = "C. Ashworth and L. Slater",
    title = "An Introduction to SSADM version 4",
    year=1993,
    publisher="McGraw-Hill",
    series="International series in software engineering"
}

@manual{Joh95,
   title = "The ERT Tool Manual",
   author = "Yngvar Johnson",
   organization = "Norwegian Institute of Technology",
   address = "Trondheim, Norway",
   month = "December",
   year = 1995
}

@article{Lid93,
   title = "Cardinality Constraints in Semantic Data Models",
   author = "S.W. Liddle and D.W. Embley and S.N. Woodfield",
   journal = "Data \& Knowledge Engineering",
   volume = 11,
   number = 3,
   year = 1993,
   pages = "235-270",
   abstract = "Constraints are central to the notion of a semantic data model.
How well a model captures constraints affects its power and viability as a
semantic model. Cardinality constraints are an impoertant subclass of
general constraints. In this paper we provide formal definitions for
cardinality constraints of several semantic models, as described in the
literature. We construct a partial ordering of these constraints that shows 
the relative power expressed by each cardinality constraint. We discuss our
results and offer possible extensions to contemporary cardinality constraint
definitions. Our contributions include a collection and formal definition
of existing cardinality constraints, a partial ordering of this set, and
recommendations for cardinality constraint mechanisms in semantic data
models."
}

@inbook{Len83,
   title="Cardinality contraints in the {E}ntity-{R}elationship model",
   booktitle="Entity-{R}elationship Approach to Software Engineering",
   authors="M. Lenzerini and G. Santucci",
   publisher="North-Holland",
   year=1983,
   editors="C.G. Davis and S. Jajodia and P.A. Ng and R.T. Yeh",
   pages="529-549",
   abstract="Introduces the EER (extended ER model) which includes subset
heirarchies and cardinality constraints which describe for each end of
a relationship the min and max involvement"
}

@phdthesis{Yan93,
   title="{COMIS} --- {A} Conceptual Model for Information Systems",
   author="M. Yang",
   year="1993",
   school="The Norwegian Institute of Technology",
   address="Trondheim, Norway",
   number="IDT-rapport 1993:6"
}

@techreport{Owe90b,
   title="Notes on the {TEMPORA} Computation Model",
   author="R.P. Owens",
   institution="Imperial College",
   address="London",
   number="E2469/IC/3.4/7/1",
   year=1990,
   month="December"
}

@inproceedings{Kur90,
   title="Object-oriented systems analysis and specifications: a model-%
driven approach",
   authors="B.D.Kurtz and S.N.Woodfield and D.W.Embley",
   year=1990,
   pages="328-332",
   conference="Compcon Spring 90",
   abstract="Introduces the OSA semantic model. The data model allows 
cardinality constraints to be specified with gaps (e.g. 0,3-5)"
}

@techreport{PML91,
   title="PML Reference Manual",
   number="ICL/4R2F/00070 Issue 4",
   author="Bob Bruynooghe",
   year=1991,
   institution="ICL",
   abstract="Defines the Process Modelling Language, an OO langauge
supporting the notion of entities, actions and roles. Communication
between objects is via asynchronous buffered channels. The
actions have inputs and outputs, constrained by
pre and post conditions, and `parts' 
which define the transition between inputs and outputs. The roles gather
actions together to in effect produce a process which runs until the
termination condition is reached."
}

@techreport{TEM91b,
    title="The Sweden Post Case Study",
    author="{TEMPORA project report}",
    institution="SISU",
    year=1991,
    month="November"
}

@techreport{McB93c,
    title="The {TEMPORA} Implementation: Overview, Testing and Assessment",
    author="{\em Ed:} Peter McBrien",
    institution="TEMPORA project report",
    year=1993,
    month="November"
}

@article{Par85,
     title = "An Algebra for a General Entity-Relationship Model",
     author = "C. Parent and S. Spaccapietra",
     journal = ieeese,
     volume= 11,
     number= 7,
     month="July",
     year=1985
}

@article{Che83,
     title = "English Sentence Structure and Entity-Relationship Diagrams",
     author = "P.P. Chen",
     journal = "Information Systems",
     volume= 29,
     year=1983
}

@inproceedings{McB95a,
      	author="P.J. McBrien and A.H. Seltveit",
        title="Coupling Process Models and Business Rules",
	booktitle="Proceedings of the IFIP WG8.1 Working Conference:
  Information System Development for Decentralised Organisations",
	address="Trondheim, Norway",
    	year="1995",
	publisher="Chapman-Hall",
	pages="",
	code=CCPR
}

@book{Sol95,
      	editor="A. {S\o lvberg} and J. Krogstie and A.H. Seltveit",
	title="Proceedings of the IFIP WG8.1 Working Conference:
  Information System Development for Decentralised Organisations",
	address="Trondheim,Norway",
    	year="1995",
	publisher="Chapman-Hall"
}

@article{Mar90,
        author="J. Martin and W.T. Tsai",
        title="N-Fold Inspection: A Requirements Analysis Technique",
        pages="225--232",
        journal=cacm,
        year=1990,
        month="February",
        volume=33,
        number=2
}

@article{Par97,
     title = "Choosing Classes in Conceptual Modelling",
     author = "J. Parsons and Y. Wand",
     journal = cacm,
     volume= 40,
     number=6,
     pages="63--69",
     notes="Guidelines on how to identify classes during conceptual modelling",
     year=1997
}


@article{Aji96,
     title = "The software quark model: a universal model for CASE repositories",
     author = "T. Ajisaka",
     journal = "Information and Software Technology",
     volume= 38,
     pages="173--180",
     notes="Given to me as paper on meta-CASE tools",
     year=1996
}

@INPROCEEDINGS{McB94b,
   AUTHOR="P.J. McBrien and A.H. Seltveit and B. Wangler",
   TITLE="Rule Based Specification of Information Systems",
   BOOKTITLE="Proceedings of CISMOD '94",
   ADDRESS="Madras, India",
   pages="212--228",
   YEAR=1994
,code=CCPR
}

@INPROCEEDINGS{McB97,
   AUTHOR="P.J. McBrien",
   TITLE="Design of Distributed Applications based on the {OSI} Model",
   BOOKTITLE="Proceedings of the Ninth Conference on\
Advanced Information Systems Engineering (CAiSE'97)",
   SERIES="LNCS",
   PUBLISHER="Springer-Verlag",
		  month="June",
   YEAR=1997 
,code=CCPR
}

@techreport{UMLNG97,
   title="{UML} Notation guide: version 1.1",
   institution="Rational Software",
   month="September",
   year="1997",
   author="UML Consortium",
   url="http://www.rational.com/uml"
}

@article{MBJK90,
   title="Telos: Representing Knowledge About Information Systems",
   author="J. Mylopoulos and A. Borgida and M. Jarke and M. Koubarakis",
   journal="ACM Transactions on Information Systems",
   year=1990,
   month="October",
   volume=8,
   number=4,
   pages="325--362"
}

@book{RJB99,
   title="The Unified Modeling Language Reference Manual",
   author="J. Rumbaugh and I. Jacobson and G. Booch",
   year=1999,
   publisher="Addison Wesley"
}