Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
J.R. Abrial: “Data Semantics”, in J.W. Klimbee, K.L. Koffeman (Hrsg.): Data Base Management, North Holland Publ. Co., Amsterdam, 1974
H. Afarmanesh, D. McLeod: “A Framework for Semantic Database Models”, Proc. NYU Symp. on New Directions for Database Systems, New York University, Ney York, Mai 1984
A.V. Aho, J.D. Ullman: “Theory of Parsing, Translation, and Compiling”, vol. I, Prentice Hall, Englewood Cliffs, NJ, 1972
A.V. Aho, J.D. Ullman: “Universality of Data Retrieval Languages”, Proc. 6th ACM Symp. on Principles of Programming Languages, San Antonio, Texas, Jan. 1979, pp. 110–117
A. Albano: “Type Hierarchies and Semantic Data Models”, Proc., SIGPLAN 83 Symp. on Programming Language Issues in Software Design, San Francisco, CA, Juni 1983
H. Arisawa, K. Moriya, T. Miura: “Operations and Properties of Non-First-Order-Normal-Form Databases”, Proc. 9th VLDB Conf., Florenz, 1983
C.W. Bachman: “Data Structure Diagrams”, in: Data Base 1, no.2, Publications of the ACM Special Interest Group on Business Data Processing, 1969
J.W. Backus: “The Syntax and Semantics of the Proposed International Algebraic Language of the Zü ACM-GAMM Conference“, ICIP Proc., Paris 1959, Butterwoth London, 1960, pp.125–132
G.R. Barber: “Office Semantics”, PhDDiss., Dept. of Electr. Eng. and Computer Science, Mass. Institute of Technology (MIT), Cambridge, Mass., Feb. 1982
R. Bayer, M. Schkolnick: “Concurrency of Operations on B-Trees”, Acta Informatica, vol.9, no.1, 1977, pp.1–21
F.L. Bauer, H. Wössner: “Algorithmische Sprachen und Programmentwicklung”, Springer Verlag, Berlin Heidelberg New York, 2. Auflage, 1984
R. Bayer: “Query Evaluation and Recursion in Deductive Database Systems”, Interner Report, Institut für Informatik, Technische Universität München, Januar 1985
G. Barber, P. DeJong, C. Hewitt: “Semantic Support for Work in 0rganizations”, Proc. IFIP 1983, Elsevier Science Pub. ( North Holland ), 1983, pp. 561–566
R. Brägger, A. Dudler, J. Rebsamen, C.A. Zehnder: Gambit: An Interactive Database Design Tool for Data Structures, Integrity Constraints, and Transactions”, Proc. 1st Computer Data Engineering Conf. (COMPDEC), IEEE Computer Society, Los Angeles, April 1984, pp. 399–407
H. Biller, W. Glatthaar, E.J. Neuhold: “On the Semantics of Data Bases: The Semantics of Data Definition Languages”, in: G.M. Nijssen (Hrsg.): “Modelling in Data Base Management Systems”, Proc. IFIF-TC2 Work. Conf., Freudenstadt, North Holland Pub., Amsterdam, Jan. 1976, pp. 239–268
H. Biller, E.J. Neuhold: “Semantics of Data Bases: The Semantics of Data Models”, in: Information Systems, vol.3, Pergamon Press, 1978, pp.12–33
D. Bjørner, C.B. Jones (Hrsg.): “The Vienna Development Method: The Meta Language”, Lecture Notes in Computer Science, vol. 61, Springer Verlag, Berlin Heidelberg New York, 1978
D. Bjørner, C.B. Jones (Hrsg.): “Formal Specifications and Software Development”, Prentice Hall, 1982
D. Bjørner, H. Løvengreen: “Formalization of Database Systems - and a Formal Definition of IMS”, Proc. 8th VLDB Conf., Mexico City, September 1982, pp. 334–347
D. Bjørner, O.N. Oest: “Towards a Formal Description of ADA”, Lecture Notes in Computer Science, vol. 98, Springer Verlag, Berlin Heidelberg New York, 1980
D. Bjørner: “Programming Languages: Linguistics and Semantics”, Proc. Europ. ACM Int. Computing Symposium ICS/77, North Holland Pub., Amsterdam, 1977, pp. 512–536
D. Bjørner: “Systematic Program Derivation Techniques, Res. Rep. ID 677, Dep. of Computer Science, Techn. Univ. Dänemark, Lyngby, Jan. 1977
D. Bjørner: “Abstract Software Specifications”, Proc. 1979 Copenhagen Winter School, Lecture Notes in Comp. Science, vol.86, Springer Verlag, Berlin Heidelberg New York, Juni 1980
D. Bjørner: “Formalization of Database Models”, in: “Abstract Software Specifications”, Proc. 1979 Copenhagen Winter School, Lecture Notes in Comp. Science, vol.86, Springer Verlag, Berlin Heidelberg New York, Juni 1980, pp.144–215
D. Bjørner: “Formal Description of Programming Concepts, A Software Engineering Viewpoint”, in: P. Dembinski (Hrsg): Proc. 9th Symp. on Math. Foundations of Computer Science 1980, Rydzyna, Poland, Lecture Notes in Computer Science, vol. 88, Springer Verlag, Berlin Heidelberg New York, 1980, pp. 1–21
D. Bjørner (Hrsg.): “Formal Description of Programming Concepts II”, Proc. IFIP TC 2 Working Conf., Garmisch-Partenkirchen, Juni 1982, North-Holland, Amsterdam, 1983
D. Bjørner, S. Prehn: “Software Engineering Aspects of VDM”, in: Ferrari, M. Bolognani, J. Goguen (Hrsg.): Theory and Practice of Software Technology, North Holland Publ., Amsterdam, 1983
R.Budde, K. Kuhlenkamp, L. Mathiassen, H. Züllighoven (Hrsg.): “Approaches to Prototyping”, Proc. Working Conf. on Prototyping, Namur, Belgien, Oktober 1983, Springer Verlag, Berlin Heidelberg New York Tokyo, 1984
M.W. Blasgen, et al.: “System/R: An Architectural Overview”, IBM Systems Journal, vol.20, no.1, 1981, pp.41–62
M.L. Brodie, J. Mylopoulos, J.W. Schmidt (Hrsg.): “On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages”, Springer Verlag, Berlin Heidelberg New York, 1984
M.L. Brodie: “The Application of Data Types to Database Semantic Integrity”, Information Systems, vol.5, no.4, 1980.
M.L. Brodie: “On Modell ing Behavioural Semantics of Databases”, Proc. 7th VLDB Conf. Conf., Cannes, France, 1981
M.L. Brodie: “Association: A Database Abstraction for Semantic Modelling”, Proc. 2nd Int. Entity Relationship Conf., Washington, D.C., Okt. 1981
M.L. Brodle: “Axiomatic Defiriltions for Data Model Semantics”, Information Systems, vol. 7, no. 2, 1982, pp. 183–197
M. Broy: “Zur Spezifikation von Programmen für die Textverarbeitung”, R. Wossidlo (Hrsg.): Proc. GI Fachtagung Textverarbeitung und Informatik, Bayreuth, Informatik Fachberichte, vol.30, Springer Verlag, Berlin Heidelberg New York, 1980, pp. 75–93
M. Broy: “Algebraic Methods for Program Construction: The Project CIP”, Techn. Report, Technische Universität München, 1982
G. Bracchi, B. Pernici: “The Design Requirements for Office Systems”, ACM Transactions on Office Information Systems, vol. 2, no. 2, April 1984, pp. 151–170
M.L. Brodie, D. Ridjanovic: “On the Design and Specification of Database Transactions”, in: M.L. Brodie, J. Mylopoulos, J.W. Schmidt (Hrsg.) : “On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages”, Springer Verlag, Berlin Heidelberg New York, 1984, pp.277–306
M.L. Brodie, J.W. Schmidt (Hrsg.): “Final Report of the Relational Database Task Group”, ANSI/X3/SPARC/DBSSG, ACM SIGMOD RECORD, vol.12, no.4, Juli 1982
M.L. Brodie, E.O. Silva: “Active and Passive Component Modelling”, in: T.W. Olle, H.G. Sol, A.A Vrejn-Stuart (Hrsg.): Proc. IFIP TC 8 Working Conf. on Comparative Review of Information System Design Methodologies, Elsevier North-Holland, 1982, pp. 41–91
M.L. Brodie, S.N. Zilles (Hrsg.): “Proc. of the Workshop on Data Abstraction, Databases and Conceptual Modelling”, ACM SIGART Newsletter, no. 74, Jan. 1981, ACM SIGMOD RECORD; vol.12, no.2, Feb. 1981, ACM SIGPLAN NOTICES, vol.16, no.1, Jan. 1981
J. Bubenko: “IAM: Inferential Abstract Modelling - An Approach to Design of Information Models for Large Shared Data Bases”, IBM Techn. Report RC 6343, 1977
F. Bunemann, R.E. Frankel: ”FQL - A Functional Query Language”, Proc. ACM SIGMOD Conf., Boston, Mai 1979
R. Burstall, J. Goguen : “The Semantics of CLEAR: A Specification Language”, in: “Abstract Software Specifications”, pp.292–332
W.H. Bürge: ”Recursive Programming Techniques”, Addison- Wesley, Reading, Mass., 1975
R.H. Campbell, A.N. Haberman: “The Specification of Process Synchronisation by Path Expressions”, Lecture Notes in Computer Science, vol. 16, Springer Verlag, Berlin Heidelberg New York, 1974
A. Chan, et al.: “Storage and Access Structures to Support a Semantic Data Model”, Proc. 8th VLDB Conf., Mexico City, Sept. 1982, pp. 122–130
D.D. Chamberlin, R.F. Boyce: “SEQUEL: A Structured English Query Language”, Proc. ACM SIGMOD Conf., 1974
P.P.S. Chen: “The Entity Relationship Model: Toward a Unified View of Data”, ACM TODS, vol.1, no. 1. März 1976
P.P.S. Chen (Hrsg.): “Entity Relationship Approach to System Analysis and Design”, North Holland Pub. Comp., Juni 1980
A.K. Chandra, D. Harel: “Horn Clauses and the Fixpoint Query Hierarchy”, Proc. 1st ACM Symp. on Principles of Database Systems, Los Angeles, CA, März 1982, pp. 158–163
S.K. Chang, T.L. Kunii: “Pictorial Database Systems”, IEEE Computer, Special Issue: Pictorial Information Systems, November 1981
N. Chomsky: “On Certain Formal Properties of Grammars”, Information and Control, vol. 2, no. 2, 1959, pp. 137–167
A. Church: “The Calculi of Lambda Convention”, Annuals of Mathematical Studies, vol.6, Princeton University Press, 1941 (Reprint 1951)
E.M. Clarke, Jr. : “Programming Language Constructs for which it is Impossible to Obtain Good Hoare- like Axiom Systems”, Conf. Record of the 4th ACM Symposium on Principles of Programming Languages, 1977, pp.10–20
W.F. Clocksinn, C.S. Mellish: “Programming in PROLOG”, Springer Verlag, Berlin Heidelberg New York, 1981 1977, pp. 10–20
E.F. Codd : “A Relational Model of Data for Large Shared Databanks”, Comm. ACM, vol.13, no.6, Juni 1970, pp.377–387
E.F. Codd: “A Database Sublanguage Founded on the Relational Calculus”, Proc. ACM SIGFIDET Workshop on Data Description, Access, and Control, 1971, pp. 35–68
E.F. Codd: “Relational Completeness of Database Sublanguages”, in: R. Rustin (Hrsg.): Data Base Systems, Prentice Hall, Englewood Cliffs, 1972, pp. 65–98
E.F. Codd: “Extending the Relational Database Model to Capture More Meaning”, ACM TODS, vol.4, no.4, Dez. 1979, pp.397–434
E.F. Codd: Vorwort zu, J.W. Schmidt, M.L. Brodie (Hrsg.) : “Relational Database Systems: Analysis and Comparison”, Springer Verlag, Berlin Heidelberg New York, 1983, pp.V–IX
C.J. Date: “An Introduction to Database Systems”, vol. I, 3. Auflage, Addison-Wesley Pub. Co., 1981
C.J. Date: “Referential Integrity”, Proc. 7th Intern Conf. on VLDB, Cannes, France, September 1981, pp. 2–12
C.J. Date: “A Formal Definition of the Relational Model”, TR 03.169, IBM General Product Division, San Jose, California, Oktober 1981 - veröffentlicht in: ACM SIGMOD RECORD, vol.13, no.1, September 1982
D.R. Deutsch, W.T. Hardgrave: “Processing Data Model Abstractions”, ACM SIGPLAN Notices, vol. 16, no. 1, 1981, pp. 126–127
R.B.K. Dewar, A. Grant, S.C. Liu, J.T. Schwartz, E. Schonberg : “Programming by Refinement as Exemplified by the SETL Representation Sublanguage”, ACM TOPLAS, vol.1, no.1, Juli 1979, pp.27–49
W. Dosch, G. Mascari, M. Wirsing: “On the Algebraic Specification of Databases”, Proc. 8th VLDB Conf., Mexico City, September 1982, pp. 370–385
J.E. Donahue: “Complementary Definitions of Programming Language Semantics”, Lecture Notes in Computer Science, vol. 42, Springer Verlag, Berlin Heidelberg New York, 1976
R.B.K. Dewar, E. Schonberg, J.T. Schwartz: “High-level Programming: An Introduction to the Programming Language SETL”, Courant Intitute of Mathematical Sciences, New York, Juli 1982
K.P. Eswaran, J.N. Gray, R.A. Lorie, I.L. Traiger: “The Notions of Consistency and Predicate Locks in a Database System”, CACM, vol.19, no.12, Nov. 1976
C.A. Ellis, M. Bemal: “OFFICATALK-D: An Experimental Office Information System”, Proc. ACM Conf. on Office Information Systems, 1982
C.A. Ellis: “Information Control Nets: A Mathematical Model of Office Information Flow”, Proc. ACM Conf. on Simulation, Modelling, and Measurement of Computing Systems”, Boulder, CO, 1979, pp. 225–240
C.A. Ellis: “Formal and Informal Models of Office Activity”, in: R.E.A. Mason (Ed.): Proc. IFIP Congress 1983, Elsevier Science Publishers B.V. ( North Holland ), 1983, pp. 11–22
E. Falkenberg: “Concepts for Modelling Information”, Proc. IFIP TC-2 Working Conf. on Modelling in Data Base Management Systems, North Holland Pub., Amsterdam, Jan. 1976, pp. 95–120
W.E. Fischer: “PHIDAS - A Database Management System for CAD/CAM Application Software”, Computer Aided Design, vol. 11, 1979, pp. 146
W.E. Fischer: “Datenbanksysteme für CAD-Arbeitsplätze”, Informatik Fachberichte, vol. 70, Springer Verlag, Berlin Heidelberg New York Tokyo, 1983
R.W. Floyd: “Assigning Meanings to Programs”, in: J. Schwarz (Hrsg.): Math. Aspects of Computer Science, Proc. Symposium in Applied Mathematics, vol.19 pp. 19–32, American Math. Soc., Providence, Rhode Island, 1967
C. Floyd: “A Systematic Look at Prototyping”, in: R.Budde, K. Kuhlenkamp, L. Mathiassen, H. Züllighoven (Hrsg.): “Approaches to Prototyping”, Proc. Working Conf. on Prototyping, Namur, Belgien, Oktober 1983, Springer Verlag, Berlin Heidelberg New York Tokyo, 1984, pp. 1–18
P. Folkjær, D. Bjørner: “A Formal Model of a Generalized CSP-like Language”, Rep. ID 879, Dep. of Computer Science, Techn. Univ. Dänemark, Lyngby, 1979 also: Proc. IFIP 80, World Computer Congress, Tokyo/Melbourne, Okt. 1980, pp. 95–99
P. Folkær, D. Bjørner: “A Formal Model of an Applicative Parallel Programming Language”, ID Rep. No. 880, Dept. of Comp. Sei., Techn. Universität Dänemark, 1980
J. Freitag, H.-D. Werner, W. Wilkes: “Strukturierte Attribute in Relationen zur Unterstützung von IR-Anwendungen”, in: J. Nehmer (Hrsg.): Proc. 12. GI Jahrestagung, Fachgespräch ‘Integrierte Informationssysteme’, Informatik Fachberichte Nr. 57, Springer Verlag, Berlin Heidelberg New York, 1982, pp. 623–647
J.V. Guttag, J.J. Horning, J. Wing: “Some Notes on Putting Formal Specifications to Productive Use”, Techn. Report CSL-82-3, Xerox Research Center, Palo Alto, CA, 1982
S. Gibbs, D. Tsichritzis : “A Data Modelling Approach for Office Information Systems”, ACM Transactions on Office Information Systems, vol.1, no.4, Okt. 1983, pp.299–319
J.N. Gray, R.A. Lorie, G.R. Putzolu: “Granularity of Locks in a Shared Data Base”, Proc. 1st VLDB Conf., New York, Sept. 1975, pp. 428–451
G. Goos, J. Hartmanis (Hrsg.): “Formalization of Programming Concepts”, Proc. Intern. Colloquium, Penniscola, Spain, Lecture Notes in Computer Science, vol. 107, Springer Verlag, Berlin Heidelberg New York, April 1981
M.J.C. Gordon: “The Denotational Description of Programming Languages”, Springer Verlag, New York, 1979
D. Gries: “Compiler Construction for Digital Computers”, John Wiley & Sons Inc., New York, NY, 1974
D. Gries: “The Science of Computer Programming”, Springer Verlag, Berlin Heidelberg New York, 1981
J.A. Goguen, J.W. Thatcher, E.G. Wagner: “An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types”, in: R.T. Yeh (Hrsg.): “Current Trends in Programming Methodology”, vol. IV - ‘Data Structuring’, Prentice Hall, 1977
K.D. Günther: “PLOP - A Predicative Programming Language for Office Procedure Automation”, Intern. Techn. Report, Ges. für Mathematik und Datenverarbeitung, GMD/IFV, Darmstadt, 1984
J.V. Guttag, J.J. Horning: “Formal Specification as a Design Tool”, Proc. ACM Symp. on Principles of Programming Languages, SIGACT und SIGPLAN, Jan. 1980, pp. 251–261
A. Guttman, M. Stonebraker: “Using a Relational Database Management System for Computer Aided Design Data”, Memorandum No. UCB/ERL M82/37, University uf California, Berkeley, CA, März 1982
J.V. Guttag, J.J. Horning: “The Algebraic Specificati Data Types”, Acta Informatica, vol. 10, no. 1, 1978, pp. 2
P. Haff. Haff: “CHILL Formal Definition”, Proc. CCITT Working Party XI/3, Genf, Dez. 1981
M.M. Hammer, J.S. Kunin: “Design Principles for an Office Specification Language”, Proc. NCC 1980, Anaheim, CA, AFIPS Press, 1980, pp. 541–547
R.L. Haskins, R.A. Lorie: “On Extending the Functions of a Relational Database System”, Proc. ACM SIGMOD Conf., Orlando, Florida, Juni 1982, pp. 207–212
M.M. Hammer, D. McLeod: “The Semantic Data Model: A Modelling Mechanism for Data Base Applications”, Proc. ACM SIGMOD Conf., Austin, Texas, Juni 1978
M.M. Hammer, D. McLeod: “Database Description with SDM: A Semantic Database Model”, ACM TODS, vol. 6, no. 3, Sept. 1981, pp. 351–386
W.T. Hardgrave: “Positional Set Notation”, Advances in Database Management, vol. 2, Heyden and Son, New York, erscheint 1985
W.T. Hardgrave, S.B. Salazar: “The Positional Set Processor: A Tool for Data Modeling”, NBSIR 81–2302, National Bureau of Standards, Washington, D.C., 1981
L.J. Henschen, S.A. Naqvi: “On Compiling Queries in Recursive First-Order Databases”, Journal of the ACM, vol. 31, no. 1, Jan. 1984, pp. 47–85
R. Holliday, D. Kropp, G. Müller, W. Schulz: “Enduser Applications in Open Systems”, IBM HDSC Techn. Report Nr. 84.06. 007, IBM Heidelberg, Juni 1984
C.A.R. Hoare: “The Axiomatic Basis for Computer Programming”, Comm. ACM, vol.12, no.10, Okt. 1969, pp.576”583
C.A.R. Hoare: “Recursive Data Structures”, Memo AIM- 223, STAN-CS-73-400, Stanford Artificial Intelligence Lab., Universität Stanford, Okt. 1973
C.A.R. Hoare: “Recursive Data Structures”, Int. Journal of Computer and Information Science, vol. 4, no. 2, 1975, pp. 105–132
C.A.R. Hoare: “Communicating Sequential Processes”, Comm. ACM, vol. 21, no. 8, Aug. 1978, pp. 666–677
W. Horak, G. Krönert: “An Object Oriented Office Document Architecture Model for Document Interchange Between Open Systems”, Proc. GLOBECOMP’83, San Diego, Nov. 1983, pp. 1245–1249
C.A.R. Hoare, P.E. Lauer: “ConsiStent and Complementary Formal Theories of the Semantics of Programming Languages”, in: Acta Informatica, vol.3, pp. 135–153, 1974
W. Horak: “Concepts of the Document Interchange Protocol for the Telematic Services - CCITT Draft Recommendations S.a.”, Computer Networks, vol. 8, no. 3, 1984, pp. 175–185
C.A.R. Hoare, N.Wirth: “An Axiomatic Definition of the Programming Language Pascal”, in: Acta Informatica, vol.2, 1973, pp.335–355
IBM Corporation: “Information Management System/Virtual Storage Utilities Reference Manual”, IBM Forms no. SH 20-9025, SH 20-9026 und GH 20-1260, White Plains, New Jersey, 1975
IBM Corporation: “SQL/Data System, Concepts and Faci1ities”, IBM Form no. GH 24–5013, Jan. 1981
International Organisation for Standardl*sation (ISO) TC 97/SC 16: “Open Systems Interconnection - Basis Reference Model”, 1980
G. Jaeschke: “Recursive Algebra for Relations with Relation-Valued Attributes”, Techn. Report IBM Heidelberg, Wiss. Zentrum, erscheint 1985
G. Jaeschke, H.-J. Schek. Schek: “Remarks on the Algebra of Non First Normal Form Relations”, Proc. ACM SIGACT-SIGMOD Symp. on Principles of Database Systems, Los Angeles, März 1982
C.B. Jones, D. Bjørner (Hrsg.): “Formal Specification and Software Development”, Prentice Hall Int., Reading, UK, 1982
C.B. Jones: “Software Development: A Rigorous Approach”, Prentice Hall Int., Reading, UK, 1980
W. Kent: “Limitations of Record Based Information Models”, ACM TODS, vol.4, no.1, März 79, pp.107–131
M. Koll, W.T. Hardgrave, S. Salazar: “Data Model Processing”, Proc. National Computer Conf., Houston, Texas, Juni 1982, AFIPS Press, pp. 571–578
H.A. Klaeren: “An Abstract Software Specification Technique Based on Structural Recursion”, ACM SIGPLAN Notices, vol.15, no.3, März 1980, pp.28–34
S.C. Kleene: “Introduction to Metamathematics”, Van Nostrand, 1952
A. Klug: “Calculating Constraints on Relational Expressions”, ACM TODS, vol. 5, no. 3, Sept. 1980, pp. 260–290
M. Koll, W.T. Hardgrave: “Data Model Processor User’s Manual”, Institute for Computer Science and Technology, Center for Programming Science and Technology, Data Management and Programming Language Division, National Bureau of Standards, Washington, D.C., September 1981
R. Kowalski: “Algorithm = Logic + Control”, Comm. ACM, vol. 22, no. 8, Aug. 1978, pp. 424–436
R. Kowalski: “Logic for Problem Solving”, North Holland Pub., Amsterdam, 1979
P. Kruchten, E. Schonberg: “The ADA/Ed System: A Large-Scale Experiment in Software Prototyping Using SETL”, in: R.Budde, K. Kuhlenkamp, L. Mathiassen, H. Züllighoven (Hrsg.): “Approaches to Prototyping”, Proc. Working Conf. on Prototyping, Namur, Belgien, Oktober 1983, Springer Verlag, Berlin Heidelberg New York Tokyo, 1984, pp. 398–415
P. Kruchten, E. Schonberg, J. Schwartz : “Software Prototyping Using the SETL Programming Language”, IEEE Software, vol.1, no.4, Oktober 1984, pp.66–75
J. Koch, J.W. Schmidt, V. Wunderlich: “Type Derivation for First-Order Relational Expressions”, Techn. Report Nr. 79/81, Fachbereich Informatik, Universität Hamburg, Juni 1981
Y. Kambayashi, K. Tanaka, K.Takeda: “Synthesis of Unnormalized Relations Incorporating More Meaning”, Int. Journal of Information Sciences, Special Issue on Databases, 1983
W. Lamersdorf: “Semantikspezifikationstechniken und eine Anwendung auf die semantische Spezifikation von Pascal/R”, Diplomarbeit, Fachbereich Informatik, Universität Hamburg, 1980
W. Lamersdorf: “Comparison of Four Relational Data Model Specifications”, ACM SIGMOD RECORD, vol. 13, no. 3, April 1983, pp. 18–31
W. Lamersdorf: “Specification and Interpretation of Data Model Semantics: An Integration of Two Approaches”, Techn. Report NBSIR 83–2740, Institute for Computer Science and Technology, National Bureau of Standards, Washington, D.C., Juli 1983
W. Lamersdorf: “Formal Specification of a Recursive Data Model: General izing the RDM”, Interner Arbeitsbericht, Universität Hamburg, Fachbereich Informatik, Juli 1983
W. Lamersdorf: “Syntaxdefinition eines rekursiven Datenmodells”, Interner Arbeitsbericht, Universität Hamburg, Fachbereich Informatik, August 1983
W. Lamersdorf: “Recursive Data Models for Non-Conventional Database Applications”, Proc. Computer Data Engineering Conf. (COMPDEC), IEEE Computer Society, Order No. 84–80546, Los Angeles, April 1984, pp. 143–150
W. Lamersdorf: “Modellierung komplexer Objektstrukturen in Bürosystemen”, Proc. Gl Fachtagung ‘Datenbanksysteme für Büro, Technik und Wissenschaft’, A. Blaser, P.Pistor (Hrsg.), Informatik Fachberichte, vol.94, Springer Verlag, Berlin Heidelberg New York Tokyo, März 1985, pp. 199–203
P.J. Landin: “The Mechanical Evaluation of Expressions”, in BCS Computer Journal, vol. 6, no. 4, 1964, pp. 308–320
P.J. Landin: “A Correspondence Between ALGOL 60 and Church’s Lambda Notation”, Comm. ACM, vol.8, nos.2–3, 1965, pp.89–101 and pp.158–165
W. Lamersdorf, J.W. Schmidt: “Specification of Pascal/R”, Berichte Nr. 73 und 74, Fachbereich Informatik, Universität Hamburg, Juli 1980
W. Lamersdorf, J.W. Schmidt: “On the Definition, Standardization, and Specification of the Relational Data Model”, Proc. Workshop on Information and Data Structure Description in Standardization, R. Durchholz, H.-D. Ehrich (Hrsg.), Berichte der GMD, Bericht Nr.139, Oldenbourg Verlag, München Wien, 1983, pp. 127–136
W. Lamersdorf, J.W. Schmidt: “Rekursive Datenmodelle”, in: J.W. Schmidt (Hrsg.): Proc. Fachgespräch “Sprachen für Datenbanken” der 13. GI Jahrestagung, Hamburg, Informatik Fachberichte, vol. 72, Springer Verlag, Berlin Heidelberg New York, Okt. 1983, pp. 148–168
W. Lamersdorf, J.W. Schmidt: “Specification and Prototyping of Data Model Semantics”, in: R.Budde, K. Kuhlenkamp, L. Mathiassen, H. Züllighoven (Hrsg.): “Approaches to Prototyping”, Proc. Working Conf. on Prototyping, Namur, Belgien, Oktober 1983, Springer Verlag, Berlin Heidelberg New York Tokyo, 1984, pp. 214–231
V.Y. Lum, D.M. Choy, N.C. Shu : “OPAS: An Office Procedure Automation System”, IBM Systems J., vol.21, no.3, 1982
U. Leibrandt, P. Schnupp: “An Evaluation of PROLOG as a Prototyping System”, in: R.Budde, K. Kuhlenkamp, L. Mathiassen, H. Züllighoven (Hrsg.): “Approaches to Prototyping”, Proc. Working Conf. on Prototyping, Namur, Belgien, Oktober 1983, Springer Verlag, Berlin Heidelberg New York Tokyo, 1984, pp. 424–433
V. Linnemann: “On the Relationship Between Context Free Grammars and Hierarchical Data Structures”, Interner Bericht, Fachbereich Informatik, Universität Frankfurt/M, März 1984
B. Liskov, S. Zilles: “Programming with Abstract Data Types”, Proc. ACM-SIGPLAN Symp. Very High Level Languages, SIGPLAN Notices (ACM), vol. 9, no. 4, April 1974, pp. 50–59
P.C. Lockemann, H.C. Mair, W.H. Weil, W.H. Wohlleber : “Data Abstractions for Database Systems”, ACM TODS, vol.4, no.1, März 1979, pp.60–75
W. Lamersdorf, G. Müller, J.W. Schmidt: “Language Support for Office Modelling”, Proc. 10. Intern. Conf. on VLDB, U. Dayal, G. Schlageter, L.H. Seng ( Hrsg. ), Singapore, August 1984, pp. 280–288
R.A. Lorie, W. Plouffe: “Complex Objects and Their Use in Design Transactions”, Proc. Engineering Design Applications, ACM/IEEE Database Week, San Jose, CA, IEEE Comp. Soc. Press, Silver Spring, MD, Juni 1983, pp. 125–121
P.M. Lewis, D.J. Rosenkrantz, P.E. Stearns: “Compiler Design Theory”, Addison Wesley Pub. Co., Reading, Mass., 1976
W. Lamersdorf, J.W. Schmidt, G. Müller: “A Recursive Approach to Office Object Modelling”, Information Technology, Butterworth, London, vol.4, no.1, Jan. 1985
H. Langmaack, B. Schlender, J.W. Schmidt: “Implementierung Pascal-artiger Programmiersprachen”, Tagung II/1982 des German Chapter of the ACM, Teubner, Stuttgart, Juni 1982
P. Lucas, K. Walk: “On the Formal Definition of PL/1”, Annual Review in Automatic Programming, vol.6, part 3, Pergamon Press, New York, 1969, pp. 105–182
N.H. Madhavji: “Visibility Aspects of Programmed Dynamic Data Structures”, Comm. ACM, vol. 27, no. 8, August 1984, pp. 764–776
J. Madsen. Madsen: “Modular Operating System Design”, Dissertation, Techn. Univ. Dänemark, Techn. Report ID-805, August 1980
J. McCarthy, P.W. Abrahams, D.J. Edwards, T.P. Hart, M.I. Levin: “LISP 1. 5 Programmers Manual”, MIT Press, Cambridge, Mass., 1962
D. Maier: ”The Theory of Relational Databases”, Computer Science Press, Rockville, MD, 1983
A. Makinouchi: “A Consideration on Normal Form of Not Necessarily Normalized Relations in the Relational Data Model”, Proc. 3rd. Int. Conf. on VLDB, Tokyo, 1977, pp. 447–453
H.C. Mair, R.E. Meyer (Hrsg.): “Formale Modelle für Informationssysteme”, Proc. Fachtagung der Gl, Tutzing, Informatik Fachberichte, vol. 21, Springer Verlag, Berlin Heidelberg New York, 1979
M. Mall, M. Reimer: “The Database Generation Program RDBGEN”, Pascal/R-Memo 83–79, Arbeitsbereich Datenbanken und Informationssysteme, Fachbereich Informatik, Universität Hamburg, August 1979
O. Mayer: “Syntaxanalyse”, BI Taschenbuch, Bibliographisches Institut, Mannheim, 1978
J. Mylopoulos, P.A. Bernstein, H.K.T. Wong: “A Preliminary Specification of TAXIS: A Language for Designing Interactive Information Systems”, Techn. Rep. CCA 78–02, 1978, pp. 185–207
J. Mylopoulos, P.A. Bernstein, H.K.T. Wong: “A Language Facility for Designing Database-Intensive Applications”. ACM Transactions on Database Systems, vol.5, no.2, Juni 1980
J. McCarthy: “Towards a Mathematical Science of Computation”, in: Information Procession, C.M. Popplewell (Hrsg.), Proc. 2nd IFIP Congress, München, North Holland Publ., Amsterdam, 1963, pp. 21–28
A. Meier, R.A. Lorie: “A Surrogate Concept for Engineering Databases”, Proc. 9th Int. Conf. on VLDB, Florenz, 1983, pp. 30–32
C. Morris: “Foundati ons of the Theory of Signs”, in: Int. Encyclopedia of Unified Sciences, vol.1, no. 2, University of Chicago Press, Chicago, 1938
C. Morris: “Signs, Languages, and Behaviour”, G. Braziller, New York, 1955
P.D. Mosses: “Mathematical Semantics and Compiler Generation”, Ph.D. Thesis, Oxford Universität, Prgr. Res. Group, April 1974
P.D. Mosses: “Compiler Generation Using Denotational Semantics”, in: Mathem. Foundations of Computer Science, Lecture Notes in Computer Science, vol. 45, Springer Verlag, Heidelberg New York, 1976, pp. 436–441
P.D. Mosses: “A Constructive Approach to Compiler Correctness”, DAIMI IR-16, Computer Science Department, Aarhus University, 1979
M. Mall, M. Reimer, J.W. Schmidt: “Pascal und Relationen: Sprachintegration und Übersetzung”, in H. Langmaack, B. Schlender, J.W. Schmidt: “Implementierung Pascal-artiger Programmiersprachen”, Tagung II/1982 des German Chapter of the ACM, Teubner, Stuttgart, Juni 1982, pp. 139–154
M. Mall, M. Reimer, J.W. Schmidt: “Data Selection, Sharing, and Acess Control in a Relational Scenario”, in: M.L. Brodie, J. Mylopoulos, J.W. Schmidt (Hrsg.): “On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages”, Springer Verlag, Berlin Heidelberg New York, 1984, pp. 411–436
J. Mylopoulos: “An Overview of Knowledge Representation”, in: M.L. Brodie, S.N. Zilles (Hrsg.): “Proc. of the Workshop on Data Abstraction, Databases and Conceptual Modelling”, ACM SIGART Newsletter, no. 74, Jan. 1981, ACM SIGMOD RECORD; vol.12, no.2, Feb. 1981, ACM SIGPLAN NOTICES, vol.16, no.1, Jan. 1981, pp. 5–12
N. Naffah: “Communication Protocols for Integrated Office Systems”, Computer Networks, vol.5, no.6, Dez. 1981, pp.445–454
S.A. Naqvi, L.J. Henschen: “Synthesizing Least Fixpoint Queries into Non-recursive Iterative Programs”, Proc. 8th IJCAI, Karlsruhe, Aug. 1983, pp. 25–28.
P. Naur (Hrsg.): “Revised Report on the Algorithmic Language ALGOL 60”, Comm. ACM, vol. 15, no. 1, Jan. 1963, pp. 1–23
E.J. Neuhold, T. Olnhoff: “The Vienna Development Method (VDM) and its Use for the Specification of a Relational Data Base System”, in: T. Lavington (Hrsg.): Proc. IFIP 80 Congress, Tokyo/Melbourne, Okt. 1980, pp. 3–16
E.J. Neuhold, T. Olnhoff: “Building Data Base Management Systems Through Formal Specifications”, in: G. Goos, J. Hartmanis (Hrsg.): “Formalization of Programming Concepts”, Proc. Intern. Colloquium, Penniscola, Spain, Lecture Notes in Computer Science, vol. 107, Springer Verlag, Berlin Heidelberg New York, April 1981, pp. 169–209
G.M. Nijssen (Hrsg.): “Modelling in Data Base Management Systems”, Proc. IFIF-TC2 Work. Conf., Freudenstadt, North Holland Pub., Amsterdam, Jan. 1976
A. Ollonqren: “Definition of Programming Languages by Interpreting Automata”, Acad. Press, London New York San Francisco, 1974
A. Ollongren: “Multilevel Arrays as Datatypes”, Forschungsbericht Nr. 91, Abteilung Informatik, Universität Dortmund, 1979
A. Ollongren: “On the Implementation of Parts of Meta IV in LISP”, Techn. Report LITH-MAT-R-81–07, Universität Linkoping, 1981
T. Olnhoff: “Funktionale Semantikbeschreibung einer Anfragesprache in einem drei-schichtigen relationalen Datenbanksystem”, Dissertation, Universität Hamburg, 1981
S. Osborn: “Relational Databases with Partially Formatted Records”, Proc. 6th IEEE COMPSAC, Chicago, Computer Society Press, 1982, pp. 589–593
P. Pistor, B. Hansen, M. Hansen: “Eine sequel- artige Sprachschnittstelle für das NF2 Modell”, in J.W. Schmidt (Hrsg.): Proc. Fachgespräch “Sprachen für Datenbanken” der 13. GI Jahrestagung, Hamburg, Informatik Fachberichte, vol. 72, Springer Verlag, Berlin Heidelberg New York, Okt. 1983, pp. 134–147
S. Prehn, I,O. Hansen, S.U. Palm, P. Gøbel: “Formal Methods Appraisal”, Final Report no. DDC-86, ESPRIT Preparatory Study, Subprogramm Dansk Datamatik Center, Lyngby, Dänemark, Juni 1983
Pirotte : “A Precise Definition of Basic Relational Notions and of the Relational Algebra”, ACM SIGMOD RECORD, vol.13, no.1, September 1982
M. Reimer: “Implementation of the Database Programming Language Modula/R on the Personal Computer Lilith”, Software Practice and Experience, vol.14, no.10, Oktober 1984
G. Richter: “IML - Inscribed Nets for Modelling Text Processing and Database Management Systems”, Proc. 7th Intern. Conf. on VLDB, Cannes, 1981, pp. 363–375
G. Richter: “Realitätsgetreues Modellieren und modellgetreues Realisieren von Bürogeschehen”, in: ‘Informationstechnik und Bürosysteme’, P. Wißkirchen, T. Kreifels, F. Krückeberg, G. Richter, G. Wurch (Hrsg.), Teubner Verlag, Stuttgart, 1983, pp. 145–254
N. Roussopoulos, J. Mylopoulos: “Using Semantic Networks for Database Mangement”, Proc. 1st Int. Conf. on VLDB, New York, Sept. 1975, pp. 144–172
L. Rowe, K. Shoens: “Data Abstraction, Views, and Updates in RIGEL”, Proc. ACM SIGMOD Conf. on Management of Data, Boston, Mass., 1979
INGRES Reference Manual, Version 1.4”, Relational Technologies Inc., Berkeley, CA, 1983 Computer Society Press, 1982, pp.571–580
S. Ronzani, F. Titsano, R. Zicari: “An Office Specification Language Based on Path Expressions”, Techn. Rep. 84–22, Dipt. di Elettronica, Politecnico di Milano, 1984
L. Saunus: “Realisierung einer SEQUEL Sprachschnittstelle für Pascal/R”, Studienarbeit, Fachbereich Informatik, Universität Hamburg, Juni 1983
L. Saunus: “Erzeugung von Compilern für Datenbanksprachen”, Diplomarbeit, Fachbereich Informatik, Universität Hamburg, 1984
J.W. Schmidt, M.L. Brodie (Hrsg.): “Relational Database Systems: Analysis and Comparison”, Springer Verlag, Berlin Heidelberg New York, 1983
H.-J. Schek: “Methods for the Administration of Textual Data in Database Systems”, Information Retrieval Research, Butterworth, 1982, pp. 218–235
J.W. Schmidt: “Some High Level Language Constructs for Data of Type Relation”, ACM TODS, vol. 2, no. 3, Sept. 1977, pp. 247–261
J.W. Schmidt: “Programming Languages and Database Models: On the Integration of Concepts, Constructs, and Notations”, in: Proc. of the Joint Intern. Seminar on the Teaching on Computer Science: Data Base Systems, Newcastle U.K., Sept., 1979
J.W. Schmidt (Hrsg.): Proc. Fachgespräch “Sprachen für Datenbanken” der 13. GI Jahrestagung, Hamburg, Informatik Fachberichte, vol. 72, Springer Verlag, Berlin Heidelberg New York, Okt. 1983
J.W. Schmidt: “Database Programming: Language Constructs and Execution Models”, in: U. Amman (Hrsg.): Proc. 8th GI Fachtagung on “Programming Languages and Program Development”, ETH Zürich, Schweiz, Informatik Fachberichte vol. 77, Springer Verlag, Berlin Heidelberg New York Tokio, 1984, pp. 1–25
J.W. Schmidt, W. Lamersdorf: “Relational Data Model: A Definition and its Formalization”, Bericht Nr. 88, Fachbereich Informatik, Universität Hamburg, März 1982 - veröffentlicht in M.L. Brodie, J.W. Schmidt (Hrsg.): “Final Report of the Relational Database Task Group”, ANSI/X3/SPARC/DBSSG, ACM SIGMOD RECORD, vol.12, no.4, Juli 1982
J.W. Schmidt, M. Mall: “Pascal/R - Report”, Bericht Nr. 66, Fachbereich Informatik, Universität Hamburg, Jan. 1980
D. Scott, C. Strachey: “Towards a Mathematical Semantic for Computer Languages”, in: Proc. Symposium on Computer and Automata, J. Fox (Hrsg.), Microwave Research Institute Symposia, vol. 21, Brooklyn Press, New York, 1971, pp. 19–46
H.-J. Schek, P. Pistor: “Data Structures for an Integrated Data Base Management and Information Retrieval System”, 8th Intern. Conf. on VLDB, Mexico City, Sept. 1982, pp. 197–207
H.-J. Schek, M. Scholl: “Die NF2 Algebra zur einheitlichen Manipulierung externer, konzeptueller und interner Datenstrukturen”, in: J.W. Schmidt (Hrsg.): Proc. Fachgespräch “Sprachen für Datenbanken” der 13. GI Jahrestagung, Hamburg, Informatik Fachberichte, vol. 72, Springer Verlag, Berlin Heidelberg New York, Okt. 1983, pp. 123–133
M.E. Senko: “Information Systems: Records, Relations, Sets, Entities, and Things”, Information Systems, vol. 1, 1975, pp. 3–13
M. Shaw: “The Impact of Modelling and Abstraction Concerns on Modern Programming Languages”, in: M.L. Brodie, J. Mylopoulos, J.W. Schmidt (Hrsg.): “On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages”, Springer Verlag, Berlin Heidelberg New York, 1984, pp. 49–83
D.W. Shipman: “The Functional Data Model and the Data Language DAPLEX”, ACM TODS, vol.2, no.3, März 1981, pp.140–173
A. Silberschatz, Z. Keden: “Consistency in Hierarchical Database Systems”, unpublished Memorandum, University of Texas, Dallas, 1978
N.C. Shu, V.Y. Lum, F.C. Tung, C.L. Chang: “Specification of Forms Processing and Business Procedures for Office Automation”, IEEE Transactions on Software Eng., vol.8, no.5, 1982
J.M. Smith, D.C.P. Smith: “Database Abstractions: Generalization”, ACM TODS, vol.2, no.2, Juni 1977
J.M. Smith, D.C.P. Smith: “A Database Approach to Software Specification”, in: W.E. Riddle, R.E. Fairley (Hrsg.): ‘Software Development Tools’, Springer Verlag, New York, 1980
J.W. Schmidt, M. Reimer, M. Mall, J. Koch: “Report on the Database Programming Language (Draft Version)”, Fachbereich Informatik, Universität Hamburg, 1983
M. Stonebraker: “The Design and Implementation of Ingres”, ACM TODS; vol.1, no. 2, 1976 1975, pp. 65–77
J.E. Stoy: “Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory”, MIT Press, Cambridge (Mass. ), 1977
M. Stonebraker, L.A. Rowe: “Database Portals: A New Application Program Interface”, Proc. 10th Intern. Conf. on VLDB, Singapore, Aug. 1984, pp. 3–13
M. Schrefl, A.M. Tjoa, R.R. Wagner: “Comparison-Criteria for Semantic Data Models”, Proc. 1st Computer Data Engineering Conf. (COMPDEC), IEEE Computer Society, Los Angeles, April 1984, pp. 120–125
R.W. Taylor, R.L. Frank: “CODASYL Database Management System”, ACM Comp. Surveys, vol.8, no.1, März 1976
A.S. Tanenbaum: “Computer Networks”, Englewood Cliffs, New Jersey, 1981
D.B. , S. Andler: “The COSIE Communication Subsystem: Support for Distributed Office Applications”, ACM Transactions on Office Information Systems, vol.2, no.2, Juli 1984, pp.79–95
R.D. Tennent: “The Denotational Semantics of Programming Languages”, Comm. ACM, vol. 19, no. 8, Aug. 1976, pp. 437–453
Tsichritzis: “Form Management”, Comm. ACM, vol.25, no.7, Juli 1982, pp.453–478
D.C. Tsichritzis, A. Klug: “The ANSI/X3/SPARC DBMS Framework”, Information Systems, vol.3, no.4, 1978
D.C. Tsichritzis, F.H. Lochovsky: “Hierarchical Database Management: A Survey”, ACM Computing Surveys, vol.8, no.1, März 1976, pp.67–103
D.C. Tsichritzis, F.H. Lochovsky: “Data Models”, Prentice Hall, Englewood Cliffs, New York, 1982
J.D. Ullman: “Principles of Database Systems”, 2nd Edition, Computer Science Press, Rockville, Maryland, 1982
P. Ursprung, C.A. Zehnder: “HIQUEL: An Interactive Query Lnguage to Define and Use Hierarchies”, Proc. 3rd Intern. Conf. on Entity-Relationship Approach, Anaheim, CA, Okt. 1983
J.J. van Griethuysen (Hrsg.): “Concepts and Terminology for the Conceptual Schema and the Information Base”, ISO/TC97/SC5/WG3 Doc. no. N 695, American National Standards Institute, New York, 1982
P. Ward, G. v. Bochmann: “Compiler Writing Systems for Attribute Grammars”, Publ. no. 199, Département d’Informatique et de Recherche Operationélle, Université de Montréal, P.Q., Kanada, Juli 1975 - deutsche Übersetzung von S. Bürger, Universität Hannover, Mai 1981
A.I. Wasserman: “The Design of PLAIN - Support for Systematic Programming”, Proc. NCC 1980, AFIPS Press, vol. 49, 1980, pp. 731–740
P. Wegner: “The Vienna Definition Language”, ACM Computing Surveys, vol.4, no.1, März 1972
C.F. von Weizsäcker: “Wie wird und soll die Rolle der Wissenschaft in den siebziger Jahren aussehen?”, in: ‘Die Einheit der Natur’, C. Hanser Verlag, München, 5. Auflage, 1979, pp.21–38
D. Weiler, F. Palermo: “Database Requirements for Graphics”, Proc. C0MPC0N 79, 18th IEEE Comp. Society Int. Conf., Feb. 1979, pp. 231–234
N. Wirth: “Programming in Modula-2”, Springer Verlag, Berlin Heidelberg New York Tokio, 1982
H.K.T. Wong, J. Mylopoulos: “Two Views of Data Semantics: Data Models in Artificial Intelligence and Database Management”, INFOR, vol. 15, no. 3, 1977, pp. 344–383
R.T. Yeh (Hrsg.): “Current Trends in Programming Methodology”, vol. IV - ‘Data Structuring’, Prentice Hall, 1977
S.N. Zilles: “Types, AI gebras, and Modelling”, in: M.L. Brodie, J. Mylopoulos, J.W. Schmidt (Hrsg.): “On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages”, Springer Verlag, Berlin Heidelberg New York, 1984, pp. 441–450.
M. Zisman: “Representation, Specification, and Automation of Office Procedures”, PhD Thesis, Wharton School, University of Pennsylvania, 1977
M. Zloof: “Query-by-Example: Operations on the Transitive Closure”, IBM Research Report RC 5526, Yorktown Heights, NY, 1976
M. Zloof: “Query-by-Example: A Database Language”, IBM Systems Journal, vol. 16, no. 4, 1977, pp. 324–343
M. Zloof: “QBE/OBE: A Language for Office and Business Automation”, IEEE Computer, vol. 14, no. 5, 1981, pp. 13–22
M. Zloof: “Office by Example: A Business Language that Unifies Data and Word Processing and Electronic Mail”, IBM Systems Journal, vol.21, no.3, 1982
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Lamersdorf, W. (1985). Literaturverzeichnis. In: Semantische Repräsentation komplexer Objektstrukturen. Informatik-Fachberichte, vol 100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70289-1_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-70289-1_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15242-2
Online ISBN: 978-3-642-70289-1
eBook Packages: Springer Book Archive