% Bibliography downloaded from https://researchr.org/downloadbibtex/bibliography/modse

@inproceedings{HemelV09,
  title = {{PIL}: A Platform Independent Language for Retargetable {DSLs}},
  author = {Zef  Hemel and Eelco Visser},
  year = {2009},
  doi = {10.1007/978-3-642-12107-4_17},
  url = {http://dx.doi.org/10.1007/978-3-642-12107-4_17},
  tags = {DSL},
  researchr = {https://researchr.org/publication/HemelV09},
  cites = {0},
  citedby = {1},
  pages = {224-243},
  booktitle = {Software Language Engineering, Second International Conference, SLE 2009},
  editor = {Mark G. J. van den Brand and Dragan Gasevic and Jeffrey G. Gray},
  volume = {5969},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-12106-7},
}

@mastersthesis{zef-hemel-thesis,
  title = {Middleware for Semantic Service Advertising and Discovery on MANETs},
  author = {Zef  Hemel},
  year = {2006},
  tags = {ontologies, rule-based, ad-hoc networks, completeness, discovery, ontology, protocol, language engineering, design research, language design, source-to-source, context-aware, peer-to-peer, routing, design, mobile, query language},
  researchr = {https://researchr.org/publication/zef-hemel-thesis},
  cites = {0},
  citedby = {0},
  school = {Trinity College Dublin},
  advisor = {Siobhán Clarke},
}

@inproceedings{HemelVV08,
  title = {{WebWorkFlow}: An Object-Oriented Workflow Modeling Language for Web Applications},
  author = {Zef  Hemel and Ruben  Verhaaf and Eelco Visser},
  year = {2008},
  doi = {10.1007/978-3-540-87875-9_8},
  url = {http://dx.doi.org/10.1007/978-3-540-87875-9_8},
  tags = {workflow patterns, model-to-model transformation, interaction design, WebDSL, transformation engineering, completeness, pattern language, meta-model, modeling language, modeling, language engineering, transformation language, language modeling, web engineering, language design, model-driven development, source-to-source, model-driven engineering, object-role modeling, model transformation, web applications, DSL, abstraction, Meta-Environment, workflow, process modeling, WebWorkFlow, meta-objects, transformation, domain-specific language},
  researchr = {https://researchr.org/publication/HemelVV08},
  cites = {0},
  citedby = {6},
  pages = {113-127},
  booktitle = {Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings},
  editor = {Krzysztof Czarnecki and Ileana Ober and Jean-Michel Bruel and Axel Uhl and Markus Völter},
  volume = {5301},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-87874-2},
}

@inproceedings{KatsKV08,
  title = {Generating Editors for Embedded Languages. Integrating SGLR into IMP},
  author = {Lennart C. L. Kats and Karl Trygve Kalleberg and Eelco Visser},
  year = {2008},
  month = {April},
  tags = {rule-based, Eclipse, syntax definition, completeness, SDF, SQL, C++, code generation, abstraction, Spoofax, Meta-Environment, parsing, scannerless parsing, extensible language, ASF+SDF, SGLR, query language, domain-specific language},
  researchr = {https://researchr.org/publication/KatsKV08},
  cites = {0},
  citedby = {1},
  booktitle = {Proceedings of the Eight Workshop on Language Descriptions, Tools, and Applications},
  editor = {Jurgen J.  Vinju and Adrian Johnstone},
  volume = {238},
  number = {5},
  series = {Electronic Notes in Theoretical Computer Science   },
  publisher = {Elsevier},
}

@inproceedings{KatsJNV09,
  title = {Providing rapid feedback in generated modular language environments: adding error recovery to scannerless {generalized-LR} parsing},
  author = {Lennart C. L. Kats and Maartje  de Jonge and Emma  Nilsson-Nyman and Eelco Visser},
  year = {2009},
  doi = {10.1145/1640089.1640122},
  url = {http://doi.acm.org/10.1145/1640089.1640122},
  tags = {parsing algorithm, semantics, rule-based, Java, SDF, composition, analysis, principles, C++, code generation, context-aware, Meta-Environment, parsing, scannerless parsing, systematic-approach, island grammars, ASF+SDF, grammar, Stratego},
  researchr = {https://researchr.org/publication/KatsJNV09},
  cites = {0},
  citedby = {1},
  pages = {445-464},
  booktitle = {Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009},
  editor = {Shail Arora and Gary T. Leavens},
  publisher = {ACM},
  isbn = {978-1-60558-766-0},
}

@inproceedings{Visser07,
  title = {{WebDSL}: {A} Case Study in Domain-Specific Language Engineering},
  author = {Eelco Visser},
  year = {2007},
  doi = {10.1007/978-3-540-88643-3_7},
  url = {http://dx.doi.org/10.1007/978-3-540-88643-3_7},
  tags = {WebDSL, reusable components, DSL engineering, web application development, data-flow language, pattern language, case study, software components, SDF, meta-model, abstract syntax, modeling language, Stratego/XT, language engineering, software language engineering, language modeling, software component, web engineering, language design, reuse, model-driven development, data-flow, survey, software engineering, model-driven engineering, web applications, DSL, Meta-Environment, incremental, design, process modeling, systematic-approach, ASF+SDF, language, Stratego, domain-specific language},
  researchr = {https://researchr.org/publication/Visser07},
  cites = {0},
  citedby = {9},
  pages = {291-373},
  booktitle = {Generative and Transformational Techniques in Software Engineering II, International Summer School, {GTTSE} 2007},
  editor = {Ralf Lämmel and Joost Visser and João Saraiva},
  volume = {5235},
  series = {Lecture Notes in Computer Science},
  address = {Braga, Portugal},
  publisher = {Springer},
  isbn = {978-3-540-88642-6},
}

@techreport{VermolenWachsmuthVisser-TUD-SERG-2011-026,
  title = {Reconstructing Complex Metamodel Evolution},
  author = {Sander Vermolen and Guido Wachsmuth and Eelco Visser},
  year = {2011},
  month = {August},
  tags = {meta-model, migration, Meta-Environment, systematic-approach},
  researchr = {https://researchr.org/publication/VermolenWachsmuthVisser-TUD-SERG-2011-026},
  cites = {0},
  citedby = {0},
  institution = {Delft University of Technology},
  number = {TUD-SERG-2011-026},
  address = {Delft, The Netherlands},
}

@inproceedings{GroenewegenHKV08,
  title = {WebDSL: a domain-specific language for dynamic web applications},
  author = {Danny M.  Groenewegen and Zef  Hemel and Lennart C. L. Kats and Eelco Visser},
  year = {2008},
  doi = {10.1145/1449814.1449858},
  url = {http://doi.acm.org/10.1145/1449814.1449858},
  tags = {WebDSL, meta-model, modeling language, modeling, language engineering, language modeling, web engineering, model-driven engineering, C++, web applications, DSL, logic, abstraction, Meta-Environment, access control, workflow, domain-specific language},
  researchr = {https://researchr.org/publication/GroenewegenHKV08},
  cites = {0},
  citedby = {0},
  pages = {779-780},
  booktitle = {Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA},
  editor = {Gail E. Harris},
  publisher = {ACM},
  isbn = {978-1-60558-220-7},
}

@article{HemelGKV11,
  title = {Static consistency checking of web applications with {WebDSL}},
  author = {Zef  Hemel and Danny M.  Groenewegen and Lennart C. L. Kats and Eelco Visser},
  year = {2011},
  doi = {10.1016/j.jsc.2010.08.006},
  url = {https://doi.org/10.1016/j.jsc.2010.08.006},
  tags = {model-to-model transformation, WebDSL, rule-based, application framework, model checking, XML, XML Schema, transformation language, points-to analysis, domain analysis, analysis, language design, static analysis, model-driven development, source-to-source, rules, C++, compiler, model transformation, web applications, consistency, abstraction, design, systematic-approach, open-source, transformation, Ruby on Rails, Stratego, Ruby, query language, domain-specific language},
  researchr = {https://researchr.org/publication/HemelGKV11},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Computation},
  volume = {46},
  number = {2},
  pages = {150-182},
}

@inproceedings{JongeNKV09,
  title = {Natural and Flexible Error Recovery for Generated Parsers},
  author = {Maartje  de Jonge and Emma  Nilsson-Nyman and Lennart C. L. Kats and Eelco Visser},
  year = {2009},
  doi = {10.1007/978-3-642-12107-4_16},
  url = {http://dx.doi.org/10.1007/978-3-642-12107-4_16},
  tags = {semantics, rule-based, Java, Eclipse, rules, C++, search suggestions, context-aware, search, parsing, error recovery, systematic-approach, SGLR, grammar},
  researchr = {https://researchr.org/publication/JongeNKV09},
  cites = {0},
  citedby = {0},
  pages = {204-223},
  booktitle = {Software Language Engineering, Second International Conference, SLE 2009},
  editor = {Mark G. J. van den Brand and Dragan Gasevic and Jeffrey G. Gray},
  volume = {5969},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-12106-7},
}

@article{KallebergV08,
  title = {Fusing a Transformation Language with an Open Compiler},
  author = {Karl Trygve Kalleberg and Eelco Visser},
  year = {2008},
  doi = {10.1016/j.entcs.2008.03.042},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.03.042},
  tags = {programming languages, model-to-model transformation, object-oriented programming, rule-based, Java, program analysis, Eclipse, completeness, data-flow language, graph transformation, interpreter, abstract syntax, Stratego/XT, transformation language, term rewriting, functional programming, Eclipse Java Compiler, points-to analysis, domain analysis, analysis, type system, reuse, data-flow programming, data-flow, source-to-source, graph-rewriting, logic programming, transformation system, compiler, model transformation, open compiler, subject-oriented programming, context-aware, logic, Spoofax, rewriting logic, rewriting, data-flow analysis, parsing, feature-oriented programming, open-source, transformation, Stratego, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/KallebergV08},
  cites = {0},
  citedby = {1},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {203},
  number = {2},
  pages = {21-36},
}

@inproceedings{KallebergV07,
  title = {Spoofax: An Interactive Development Environment for Program Transformation with Stratego/XT},
  author = {Karl Trygve Kalleberg and Eelco Visser},
  year = {2007},
  month = {March},
  url = {http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2007-018.pdf},
  tags = {model-to-model transformation, meta programming, meta-model, model-driven development, model transformation, Spoofax, Meta-Environment, meta-objects, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/KallebergV07},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the Seventh Workshop on Language Descriptions, Tools and Applications (LDTA 2007)},
  series = {Electronic Notes in Theoretical Computer Science},
  address = {Braga, Portugal},
  publisher = {Elsevier},
}

@inproceedings{GeestVDV08,
  title = {Generating Version Convertors for Domain-Specific Languages},
  author = {Gerardo de Geest and Sander Vermolen and Arie  van Deursen and Eelco Visser},
  year = {2008},
  doi = {10.1109/WCRE.2008.50},
  url = {http://dx.doi.org/10.1109/WCRE.2008.50},
  tags = {case study, meta-model, evolution, modeling language, modeling, dsl-tools, language modeling, model-driven development, software evolution, DSL, abstraction, Meta-Environment, convertors, systematic-approach, language, meta-objects, domain-specific language},
  researchr = {https://researchr.org/publication/GeestVDV08},
  cites = {0},
  citedby = {0},
  pages = {197-201},
  booktitle = {WCRE 2008, Proceedings of the 15th Working Conference on Reverse Engineering, Antwerp, Belgium, October 15-18, 2008},
  publisher = {IEEE},
}

@inproceedings{GroenewegenV09-demo,
  title = {Weaving web applications with WebDSL: (demonstration)},
  author = {Danny M.  Groenewegen and Eelco Visser},
  year = {2009},
  doi = {10.1145/1639950.1640020},
  url = {http://doi.acm.org/10.1145/1639950.1640020},
  tags = {data validation, WebDSL, Java, completeness, data-flow language, meta-model, modeling language, modeling, language modeling, model-driven development, data-flow, weaving, compiler, web applications, consistency, Meta-Environment, access control, workflow, domain-specific language},
  researchr = {https://researchr.org/publication/GroenewegenV09-demo},
  cites = {0},
  citedby = {0},
  pages = {797-798},
  booktitle = {Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA},
  editor = {Shail Arora and Gary T. Leavens},
  publisher = {ACM},
  isbn = {978-1-60558-768-4},
}

@inproceedings{GroenewegenV08,
  title = {Declarative Access Control for {WebDSL}: Combining Language Integration and Separation of Concerns},
  author = {Danny M.  Groenewegen and Eelco Visser},
  year = {2008},
  doi = {10.1109/ICWE.2008.15},
  url = {http://dx.doi.org/10.1109/ICWE.2008.15},
  tags = {WebDSL, semantics, rule-based, separation of concerns, transformation language,  action semantics, language design, weaving, rules, web applications, DSL, abstraction, access control policies, access control, aspect weaving, design, role-based access control, systematic-approach, transformation, domain-specific language},
  researchr = {https://researchr.org/publication/GroenewegenV08},
  cites = {26},
  citedby = {7},
  pages = {175-188},
  booktitle = {Proceedings of the Eighth International Conference on Web Engineering, ICWE 2008, 14-18 July 2008, Yorktown Heights, New York, USA},
  editor = {Daniel Schwabe and Francisco Curbera and Paul Dantzig},
  publisher = {IEEE},
  isbn = {978-0-7695-3261-5},
}

@inproceedings{VermolenV08,
  title = {Heterogeneous Coupled Evolution of Software Languages},
  author = {Sander Vermolen and Eelco Visser},
  year = {2008},
  doi = {10.1007/978-3-540-87875-9_44},
  url = {http://dx.doi.org/10.1007/978-3-540-87875-9_44},
  tags = {model-to-model transformation, software architecture, coupled, data-flow language, meta-model, XML, evolution, modeling language, heterogeneous, XML Schema, languages, modeling, transformation language, coupled evolution, architecture, language modeling, model, data-flow, software evolution, format evolution, source-to-source, model transformation, database, abstraction, software languages, Meta-Environment, systematic-approach, meta-objects, transformation, grammar, domain-specific language},
  researchr = {https://researchr.org/publication/VermolenV08},
  cites = {0},
  citedby = {3},
  pages = {630-644},
  booktitle = {Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings},
  editor = {Krzysztof Czarnecki and Ileana Ober and Jean-Michel Bruel and Axel Uhl and Markus Völter},
  volume = {5301},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-87874-2},
}

@inproceedings{GroenewegenHKV08-DSM,
  title = {When Frameworks Let You Down. {P}latform-Imposed Constraints on the Design and Evolution of Domain-Specific Languages},
  author = {Danny M.  Groenewegen and Zef  Hemel and Lennart C. L. Kats and Eelco Visser},
  year = {2008},
  month = {October},
  tags = {framework, optimization, WebDSL, application framework, domain analysis, analysis, language design, static analysis, constraints, reuse, software evolution, C++, DSL, abstraction, incremental, design, systematic-approach, domain-specific language},
  researchr = {https://researchr.org/publication/GroenewegenHKV08-DSM},
  cites = {0},
  citedby = {2},
  booktitle = {Proceedings of the 8th OOPSLA Workshop on Domain Specific Modelling (DSM'08)},
  editor = {Jeffrey G. Gray and Jonathan Sprinkle and Juha-Pekka Tolvanen and Matti Rossi},
  address = {Nashville, Tennessee, USA},
}

@inproceedings{BravenboerV08,
  title = {Parse Table Composition},
  author = {Martin  Bravenboer and Eelco Visser},
  year = {2009},
  doi = {10.1007/978-3-642-00434-6_6},
  url = {http://dx.doi.org/10.1007/978-3-642-00434-6_6},
  tags = {parsing algorithm, programming languages, deployment, syntax definition, SDF, composition, source-to-source, parse table composition, compiler, programming, language composition, parsing, extensible language, ASF+SDF, open-source, grammar, domain-specific language},
  researchr = {https://researchr.org/publication/BravenboerV08},
  cites = {0},
  citedby = {0},
  pages = {74-94},
  booktitle = {Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers},
  editor = {Dragan Gasevic and Ralf Lämmel and Eric {Van Wyk}},
  volume = {5452},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00433-9},
}

@inproceedings{Vermolen08,
  title = {Software Language Evolution},
  author = {Sander Vermolen},
  year = {2008},
  doi = {10.1109/WCRE.2008.42},
  url = {http://dx.doi.org/10.1109/WCRE.2008.42},
  tags = {software evolution},
  researchr = {https://researchr.org/publication/Vermolen08},
  cites = {0},
  citedby = {0},
  pages = {323-326},
  booktitle = {WCRE 2008, Proceedings of the 15th Working Conference on Reverse Engineering, Antwerp, Belgium, October 15-18, 2008},
  publisher = {IEEE},
}

@inproceedings{KatsBV08,
  title = {Mixing source and bytecode: a case for compilation by normalization},
  author = {Lennart C. L. Kats and Martin  Bravenboer and Eelco Visser},
  year = {2008},
  doi = {10.1145/1449764.1449772},
  url = {http://doi.acm.org/10.1145/1449764.1449772},
  tags = {compilation by normalization, rule-based, Java, synchronization, translation, meta-model, modeling language, Stratego/XT, language modeling, composition, constraints, source-to-source, C++, Dryad, security, compiler, Meta-Environment, extensible language, systematic-approach, open-source, Stratego, JavaFront, domain-specific language},
  researchr = {https://researchr.org/publication/KatsBV08},
  cites = {44},
  citedby = {3},
  pages = {91-108},
  booktitle = {Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA},
  editor = {Gail E. Harris},
  publisher = {ACM},
  isbn = {978-1-60558-215-3},
}

@inproceedings{HemelKV08,
  title = {Code Generation by Model Transformation},
  author = {Zef  Hemel and Lennart C. L. Kats and Eelco Visser},
  year = {2008},
  doi = {10.1007/978-3-540-69927-9_13},
  url = {http://dx.doi.org/10.1007/978-3-540-69927-9_13},
  tags = {programming languages, model-to-model transformation, object-oriented programming, WebDSL, concrete object syntax, rule-based, transformation engineering, syntax definition, meta programming, data-flow language, pattern language, case study, graph transformation, meta-model, modeling language, modeling, language engineering, transformation language, software language engineering, language modeling, web engineering, data-flow programming, model-driven development, data-flow, source-to-source, graph-rewriting, software engineering, rules, model-driven engineering, C++, programming paradigms, code generation, object-role modeling, aspect oriented programming, model transformation, web applications, DSL, subject-oriented programming, Meta-Environment, rewriting, rewriting strategies, feature-oriented programming, concrete syntax, open-source, meta-objects, transformation, Stratego, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/HemelKV08},
  cites = {0},
  citedby = {3},
  pages = {183-198},
  booktitle = {Theory and Practice of Model Transformations, First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008, Proceedings},
  editor = {Antonio Vallecillo and Jeffrey G. Gray and Alfonso Pierantonio},
  volume = {5063},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69926-2},
}

@inproceedings{KatsVW10,
  title = {Pure and declarative syntax definition: paradise lost and regained},
  author = {Lennart C. L. Kats and Eelco Visser and Guido Wachsmuth},
  year = {2010},
  doi = {10.1145/1869459.1869535},
  url = {http://doi.acm.org/10.1145/1869459.1869535},
  tags = {parsing algorithm, syntax definition, composition, software evolution, C++, compiler, parsing},
  researchr = {https://researchr.org/publication/KatsVW10},
  cites = {0},
  citedby = {1},
  pages = {918-932},
  booktitle = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010},
  editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
  address = {Reno/Tahoe, Nevada},
  publisher = {ACM},
  isbn = {978-1-4503-0203-6},
}

@techreport{HemelVisser2011A,
  title = {Programming the Mobile Web with {Mobl}},
  author = {Zef  Hemel and Eelco Visser},
  year = {2011},
  month = {January},
  tags = {programming languages, optimization, interaction design, rule-based, meta programming, data-flow language, pattern language, meta-model, modeling language, modeling, web service, language modeling, language design, constraints, data-flow programming, data-flow, mobile code, code generation, web services, web applications, programming, program optimization, Meta-Environment, design, mobile, query language, domain-specific language},
  researchr = {https://researchr.org/publication/HemelVisser2011A},
  cites = {0},
  citedby = {0},
  institution = {Delft University of Technology},
  number = {TUD-SERG-2011-01},
}

@inproceedings{BravenboerV07,
  title = {Designing Syntax Embeddings and Assimilations for Language Libraries},
  author = {Martin  Bravenboer and Eelco Visser},
  year = {2007},
  doi = {10.1007/978-3-540-69073-3_5},
  url = {http://dx.doi.org/10.1007/978-3-540-69073-3_5},
  tags = {syntax embedding, syntax definition, assimilation, transformation language, architecture, language design, DSL, language libraries, design, transformation, domain-specific language},
  researchr = {https://researchr.org/publication/BravenboerV07},
  cites = {24},
  citedby = {1},
  pages = {34-46},
  booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers},
  editor = {Holger Giese},
  volume = {5002},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69069-6},
}

@inproceedings{KatsSV09,
  title = {Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming},
  author = {Lennart C. L. Kats and Anthony M. Sloane and Eelco Visser},
  year = {2009},
  doi = {10.1007/978-3-642-00722-4_11},
  url = {http://dx.doi.org/10.1007/978-3-642-00722-4_11},
  tags = {programming languages, rule-based, attribute grammars, program analysis, etaps, data-flow language, pattern language, generic programming, Stratego/XT, traversal, analysis, data-flow programming, data-flow, graph-rewriting, rules, C++, strategic programming, programming, rewriting, data-flow analysis, Aster, grammar, Stratego},
  researchr = {https://researchr.org/publication/KatsSV09},
  cites = {36},
  citedby = {1},
  pages = {142-157},
  booktitle = {Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings},
  editor = {Oege de Moor and Michael I. Schwartzbach},
  volume = {5501},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00721-7},
}