@inproceedings{Gaudel04, title = {Toward Undoing in Composite Web Services}, author = {Marie-Claude Gaudel}, year = {2004}, doi = {10.1007/11556169_3}, url = {http://dx.doi.org/10.1007/11556169_3}, tags = {web service, web services}, researchr = {https://researchr.org/publication/Gaudel04}, cites = {0}, citedby = {0}, pages = {59-68}, booktitle = {ICSE}, } @inproceedings{OudinetDGLP11, title = {Uniform Monte-Carlo Model Checking}, author = {Johan Oudinet and Alain Denise and Marie-Claude Gaudel and Richard Lassaigne and Sylvain Peyronnet}, year = {2011}, doi = {10.1007/978-3-642-19811-3_10}, url = {http://dx.doi.org/10.1007/978-3-642-19811-3_10}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/OudinetDGLP11}, cites = {0}, citedby = {0}, pages = {127-140}, booktitle = {FASE}, } @inproceedings{Gaudel01, title = {Testing from Formal Specifications, a Generic Approach}, author = {Marie-Claude Gaudel}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2043/20430035.htm}, tags = {testing, systematic-approach}, researchr = {https://researchr.org/publication/Gaudel01}, cites = {0}, citedby = {0}, pages = {35-48}, booktitle = {Ada-Europe}, } @article{FreemanG91, title = {Building a Foundation for the Future of Software Engineering (Introduction to the Special Issue)}, author = {Peter Freeman and Marie-Claude Gaudel}, year = {1991}, tags = {software engineering}, researchr = {https://researchr.org/publication/FreemanG91}, cites = {0}, citedby = {0}, journal = {CACM}, volume = {34}, number = {5}, pages = {30-33}, } @inproceedings{GaudelG08, title = {Testing Data Types Implementations from Algebraic Specifications}, author = {Marie-Claude Gaudel and Pascale Le Gall}, year = {2008}, doi = {10.1007/978-3-540-78917-8_7}, url = {http://dx.doi.org/10.1007/978-3-540-78917-8_7}, tags = {testing, data-flow, algebraic specification, algebra}, researchr = {https://researchr.org/publication/GaudelG08}, cites = {0}, citedby = {0}, pages = {209-239}, booktitle = {fortest}, } @inproceedings{DeniseGG04, title = {A Generic Method for Statistical Testing}, author = {Alain Denise and Marie-Claude Gaudel and Sandrine-Dominique Gouraud}, year = {2004}, doi = {10.1109/ISSRE.2004.2}, url = {http://doi.ieeecomputersociety.org/10.1109/ISSRE.2004.2}, tags = {testing}, researchr = {https://researchr.org/publication/DeniseGG04}, cites = {0}, citedby = {0}, pages = {25-34}, booktitle = {issre}, } @inproceedings{CavalcantiG10, title = {Specification Coverage for Testing in ::::Circus::::}, author = {Ana Cavalcanti and Marie-Claude Gaudel}, year = {2010}, doi = {10.1007/978-3-642-16690-7_1}, url = {http://dx.doi.org/10.1007/978-3-642-16690-7_1}, tags = {test coverage, testing, coverage}, researchr = {https://researchr.org/publication/CavalcantiG10}, cites = {0}, citedby = {0}, pages = {1-45}, booktitle = {utp}, } @article{GaudelJ98, title = {Testing Algebraic Data Types and Processes: A Unifying Theory}, author = {Marie-Claude Gaudel and Perry R. James}, year = {1998}, url = {http://link.springer.de/link/service/journals/00165/bibs/8010005/80100436.htm}, tags = {process algebra, testing, data-flow, algebra, type theory}, researchr = {https://researchr.org/publication/GaudelJ98}, cites = {0}, citedby = {0}, journal = {fac}, volume = {10}, number = {5-6}, pages = {436-451}, } @article{JonesLRWFGKLMRRRR05, title = {The atomic manifesto: a story in four quarks}, author = {Cliff B. Jones and David B. Lomet and Alexander B. Romanovsky and Gerhard Weikum and Alan Fekete and Marie-Claude Gaudel and Henry F. Korth and Rogério de Lemos and J. Eliot B. Moss and Ravi Rajwar and Krithi Ramamritham and Brian Randell and Luís Rodrigues}, year = {2005}, doi = {10.1145/1058150.1058165}, url = {http://doi.acm.org/10.1145/1058150.1058165}, researchr = {https://researchr.org/publication/JonesLRWFGKLMRRRR05}, cites = {0}, citedby = {0}, journal = {SIGMOD}, volume = {34}, number = {1}, pages = {63-69}, } @inproceedings{DeniseGGLP06, title = {Uniform random sampling of traces in very large models}, author = {Alain Denise and Marie-Claude Gaudel and Sandrine-Dominique Gouraud and Richard Lassaigne and Sylvain Peyronnet}, year = {2006}, doi = {10.1145/1145735.1145738}, url = {http://doi.acm.org/10.1145/1145735.1145738}, researchr = {https://researchr.org/publication/DeniseGGLP06}, cites = {0}, citedby = {0}, pages = {10-19}, booktitle = {ISSTA}, } @inproceedings{FeliachiGW10, title = {Unifying Theories in Isabelle/HOL}, author = {Abderrahmane Feliachi and Marie-Claude Gaudel and Burkhart Wolff}, year = {2010}, doi = {10.1007/978-3-642-16690-7_9}, url = {http://dx.doi.org/10.1007/978-3-642-16690-7_9}, researchr = {https://researchr.org/publication/FeliachiGW10}, cites = {0}, citedby = {0}, pages = {188-206}, booktitle = {utp}, } @inproceedings{BernotGM91, title = {A Formal Approach to Software Testing}, author = {Gilles Bernot and Marie-Claude Gaudel and Bruno Marre}, year = {1991}, tags = {testing, systematic-approach}, researchr = {https://researchr.org/publication/BernotGM91}, cites = {0}, citedby = {0}, pages = {243-253}, booktitle = {amast}, } @article{Gaudel94, title = {Foreword: Selected Papers of TAPSOFT 93}, author = {Marie-Claude Gaudel}, year = {1994}, researchr = {https://researchr.org/publication/Gaudel94}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {23}, number = {2-3}, pages = {105}, } @inproceedings{Gaudel92, title = {Test Selection Based on ADT Specifications}, author = {Marie-Claude Gaudel}, year = {1992}, tags = {rule-based, testing}, researchr = {https://researchr.org/publication/Gaudel92}, cites = {0}, citedby = {0}, pages = {31-40}, booktitle = {pts}, } @inproceedings{GaudelZ99, title = {Algebraic Imperative Specifications}, author = {Marie-Claude Gaudel and Alexandre V. Zamulin}, year = {1999}, url = {http://link.springer.de/link/service/series/0558/bibs/1755/17550017.htm}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/GaudelZ99}, cites = {0}, citedby = {0}, pages = {17-39}, booktitle = {ershov}, } @inproceedings{Gaudel95:0, title = {Testing Can Be Formal, Too}, author = {Marie-Claude Gaudel}, year = {1995}, tags = {testing}, researchr = {https://researchr.org/publication/Gaudel95%3A0}, cites = {0}, citedby = {0}, pages = {82-96}, booktitle = {tapsoft}, } @inproceedings{CavalcantiG07, title = {Testing for Refinement in CSP}, author = {Ana Cavalcanti and Marie-Claude Gaudel}, year = {2007}, doi = {10.1007/978-3-540-76650-6_10}, url = {http://dx.doi.org/10.1007/978-3-540-76650-6_10}, tags = {refinement, testing}, researchr = {https://researchr.org/publication/CavalcantiG07}, cites = {0}, citedby = {0}, pages = {151-170}, booktitle = {icfem}, } @article{Gaudel04:0, title = {Problems and Methods for Testing Infinite State Machines: Extended Abstract}, author = {Marie-Claude Gaudel}, year = {2004}, doi = {10.1016/j.entcs.2004.04.005}, url = {http://dx.doi.org/10.1016/j.entcs.2004.04.005}, tags = {testing, state machines, abstract machine}, researchr = {https://researchr.org/publication/Gaudel04%3A0}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {95}, pages = {53-62}, } @inproceedings{GalvesG98, title = {Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive Programs}, author = {A. Galves and Marie-Claude Gaudel}, year = {1998}, tags = {reactive programming}, researchr = {https://researchr.org/publication/GalvesG98}, cites = {0}, citedby = {0}, pages = {324-333}, booktitle = {ftcs}, } @inproceedings{Gaudel11, title = {Checking Models, Proving Programs, and Testing Systems}, author = {Marie-Claude Gaudel}, year = {2011}, doi = {10.1007/978-3-642-21768-5_1}, url = {http://dx.doi.org/10.1007/978-3-642-21768-5_1}, tags = {meta programming, model checking, meta-model, testing, Meta-Environment}, researchr = {https://researchr.org/publication/Gaudel11}, cites = {0}, citedby = {0}, pages = {1-13}, booktitle = {tap}, } @article{BidoitGM89, title = {How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language}, author = {Michel Bidoit and Marie-Claude Gaudel and A. Mauboussin}, year = {1989}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/BidoitGM89}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {12}, number = {1}, pages = {1-38}, } @inproceedings{Gaudel86, title = {Logic Programming and Automatization of Software Test Strategies}, author = {Marie-Claude Gaudel}, year = {1986}, tags = {testing, logic programming, programming, logic}, researchr = {https://researchr.org/publication/Gaudel86}, cites = {0}, citedby = {0}, pages = {39-45}, booktitle = {aimsa}, } @inproceedings{Gaudel07, title = {Software Testing Based on Formal Specification}, author = {Marie-Claude Gaudel}, year = {2007}, doi = {10.1007/978-3-642-14335-9_7}, url = {http://dx.doi.org/10.1007/978-3-642-14335-9_7}, tags = {rule-based, testing}, researchr = {https://researchr.org/publication/Gaudel07}, cites = {0}, citedby = {0}, pages = {215-242}, booktitle = {psse}, } @inproceedings{BidoitGM87, title = {How to Make Algebraic Specifications More Understandable?}, author = {Michel Bidoit and Marie-Claude Gaudel and A. Mauboussin}, year = {1987}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/BidoitGM87}, cites = {0}, citedby = {0}, pages = {31-67}, booktitle = {am}, } @inproceedings{GaudelKZ99, title = {Dynamic Systems with Implicit State}, author = {Marie-Claude Gaudel and Carole Khoury and Alexandre V. Zamulin}, year = {1999}, researchr = {https://researchr.org/publication/GaudelKZ99}, cites = {0}, citedby = {0}, pages = {114-128}, booktitle = {FASE}, } @article{BidoitBGGG85, title = {Exception Handling: Formal Specification and Systematic Program Construction}, author = {Michel Bidoit and Brigitte Biebow and Marie-Claude Gaudel and Christian Gresse and Gérard D. Guiho}, year = {1985}, tags = {exceptions, systematic-approach}, researchr = {https://researchr.org/publication/BidoitBGGG85}, cites = {0}, citedby = {0}, journal = {TSE}, volume = {11}, number = {3}, pages = {242-252}, } @inproceedings{Gaudel86:0, title = {Automation in Software Development (Panel)}, author = {Marie-Claude Gaudel}, year = {1986}, researchr = {https://researchr.org/publication/Gaudel86%3A0}, cites = {0}, citedby = {0}, pages = {173-174}, booktitle = {ifip}, } @inproceedings{BidoitBGGG84, title = {Exception Handling: Formal Specification and Systematic Program Construction}, author = {Michel Bidoit and Brigitte Biebow and Marie-Claude Gaudel and Christian Gresse and Gérard D. Guiho}, year = {1984}, tags = {exceptions, systematic-approach}, researchr = {https://researchr.org/publication/BidoitBGGG84}, cites = {0}, citedby = {0}, pages = {18-29}, booktitle = {ICSE}, } @inproceedings{LestiennesG02, title = {Testing Processes from Formal Specifications with Inputs, Outputs and Data Types}, author = {Grégory Lestiennes and Marie-Claude Gaudel}, year = {2002}, url = {http://csdl.computer.org/comp/proceedings/issre/2002/1763/00/17630003abs.htm}, tags = {testing, data-flow}, researchr = {https://researchr.org/publication/LestiennesG02}, cites = {0}, citedby = {0}, pages = {3-14}, booktitle = {issre}, } @inproceedings{MauboussinPBGH89, title = {From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study}, author = {A. Mauboussin and H. Perdrix and Michel Bidoit and Marie-Claude Gaudel and Jacques Hagelstein}, year = {1989}, tags = {case study, algebraic specification, algebra}, researchr = {https://researchr.org/publication/MauboussinPBGH89}, cites = {0}, citedby = {0}, pages = {395-431}, booktitle = {am}, } @article{BougeCFG86, title = {Test sets generation from algebraic specifications using logic programming}, author = {Luc Bougé and N. Choquet and Laurent Fribourg and Marie-Claude Gaudel}, year = {1986}, doi = {10.1016/0164-1212(86)90004-X}, url = {http://dx.doi.org/10.1016/0164-1212(86)90004-X}, tags = {testing, algebraic specification, logic programming, algebra, programming, logic}, researchr = {https://researchr.org/publication/BougeCFG86}, cites = {0}, citedby = {0}, journal = {jss}, volume = {6}, number = {4}, pages = {343-360}, } @inproceedings{Gaudel81, title = {Compiler Generation from Formal Definition of Programming Languages: A Survey}, author = {Marie-Claude Gaudel}, year = {1981}, tags = {programming languages, survey, compiler, programming}, researchr = {https://researchr.org/publication/Gaudel81}, cites = {0}, citedby = {0}, pages = {96-114}, booktitle = {icfpc}, } @inproceedings{GaudelDK95, title = {A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State}, author = {Marie-Claude Gaudel and Pierre Dauchy and Carole Khoury}, year = {1995}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/GaudelDK95}, cites = {0}, citedby = {0}, pages = {233-264}, booktitle = {Dagstuhl}, } @inproceedings{ElhaikRG96, title = {A Proposal for a Glass-Box Approach for Subsumption Checking}, author = {Quentin Elhaik and Marie-Christine Rousset and Marie-Claude Gaudel}, year = {1996}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/ElhaikRG96}, cites = {0}, citedby = {0}, pages = {111-115}, booktitle = {dlog}, } @article{GaudelDGLOP08, title = {Coverage-biased Random Exploration of Models}, author = {Marie-Claude Gaudel and Alain Denise and Sandrine-Dominique Gouraud and Richard Lassaigne and Johan Oudinet and Sylvain Peyronnet}, year = {2008}, doi = {10.1016/j.entcs.2008.11.002}, url = {http://dx.doi.org/10.1016/j.entcs.2008.11.002}, tags = {meta-model, Meta-Environment, coverage}, researchr = {https://researchr.org/publication/GaudelDGLOP08}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {220}, number = {1}, pages = {3-14}, } @article{DauchyGM93, title = {Using algebraic specifications in software testing: A case study on the software of an automatic subway}, author = {Pierre Dauchy and Marie-Claude Gaudel and Bruno Marre}, year = {1993}, doi = {10.1016/0164-1212(93)90025-S}, url = {http://dx.doi.org/10.1016/0164-1212(93)90025-S}, tags = {case study, testing, algebraic specification, algebra}, researchr = {https://researchr.org/publication/DauchyGM93}, cites = {0}, citedby = {0}, journal = {jss}, volume = {21}, number = {3}, pages = {229-244}, } @inproceedings{Gaudel92:0, title = {Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives}, author = {Marie-Claude Gaudel}, year = {1992}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/Gaudel92%3A0}, cites = {0}, citedby = {0}, pages = {3-18}, booktitle = {STACS}, } @inproceedings{Gaudel05, title = {Formal Methods and Testing: Hypotheses, and Correctness Approximations}, author = {Marie-Claude Gaudel}, year = {2005}, doi = {10.1007/11526841_2}, url = {http://dx.doi.org/10.1007/11526841_2}, tags = {testing}, researchr = {https://researchr.org/publication/Gaudel05}, cites = {0}, citedby = {0}, pages = {2-8}, booktitle = {FM}, } @inproceedings{GouraudDGM01, title = {A New Way of Automating Statistical Testing Methods}, author = {Sandrine-Dominique Gouraud and Alain Denise and Marie-Claude Gaudel and B. Marr}, year = {2001}, url = {http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260005abs.htm}, tags = {testing}, researchr = {https://researchr.org/publication/GouraudDGM01}, cites = {0}, citedby = {0}, pages = {5-12}, booktitle = {ASE}, } @article{CavalcantiG11, title = {Testing for refinement in ::::Circus::::}, author = {Ana Cavalcanti and Marie-Claude Gaudel}, year = {2011}, doi = {10.1007/s00236-011-0133-z}, url = {http://dx.doi.org/10.1007/s00236-011-0133-z}, tags = {refinement, testing}, researchr = {https://researchr.org/publication/CavalcantiG11}, cites = {0}, citedby = {0}, journal = {ACTA}, volume = {48}, number = {2}, pages = {97-147}, } @inproceedings{CavalcantiG08, title = {A Note on Traces Refinement and the ::::conf:::: Relation in the Unifying Theories of Programming}, author = {Ana Cavalcanti and Marie-Claude Gaudel}, year = {2008}, doi = {10.1007/978-3-642-14521-6_4}, url = {http://dx.doi.org/10.1007/978-3-642-14521-6_4}, tags = {refinement, programming}, researchr = {https://researchr.org/publication/CavalcantiG08}, cites = {0}, citedby = {0}, pages = {42-61}, booktitle = {utp}, } @inproceedings{BougeCFG85, title = {Application of Prolog to Test Sets Generation from Algebraic Specifications}, author = {Luc Bougé and N. Choquet and Laurent Fribourg and Marie-Claude Gaudel}, year = {1985}, tags = {Prolog, testing, algebraic specification, algebra}, researchr = {https://researchr.org/publication/BougeCFG85}, cites = {0}, citedby = {0}, pages = {261-275}, booktitle = {tapsoft}, } @article{Rodrigues05, title = {The atomic manifesto: a story in four quarks}, author = {Cliff B. Jones and David B. Lomet and Alexander B. Romanovsky and Gerhard Weikum and Alan Fekete and Marie-Claude Gaudel and Henry F. Korth and Rogério de Lemos and J. Eliot B. Moss and Ravi Rajwar and Krithi Ramamritham and Brian Randell and Luís Rodrigues}, year = {2005}, doi = {10.1145/1055218.1055220}, url = {http://doi.acm.org/10.1145/1055218.1055220}, researchr = {https://researchr.org/publication/Rodrigues05}, cites = {0}, citedby = {0}, journal = {sigops}, volume = {39}, number = {2}, pages = {41-46}, } @inproceedings{Gaudel94:0, title = {Formal Specification Techniques (Extended Abstract)}, author = {Marie-Claude Gaudel}, year = {1994}, url = {http://portal.acm.org/citation.cfm?id=257734.257771}, researchr = {https://researchr.org/publication/Gaudel94%3A0}, cites = {0}, citedby = {0}, pages = {223-227}, booktitle = {ICSE}, } @inproceedings{GaudelM88, title = {A Theory of Software Reusability}, author = {Marie-Claude Gaudel and Th. Moineau}, year = {1988}, tags = {reuse}, researchr = {https://researchr.org/publication/GaudelM88}, cites = {0}, citedby = {0}, pages = {115-130}, booktitle = {ESOP}, } @inproceedings{Gaudel95, title = {Formal Specification Techniques for Interactive Systems}, author = {Marie-Claude Gaudel}, year = {1995}, researchr = {https://researchr.org/publication/Gaudel95}, cites = {0}, citedby = {0}, pages = {21-26}, booktitle = {DSVIS}, } @inproceedings{Gaudel77, title = {A Formal Approach to Translator Specification}, author = {Marie-Claude Gaudel}, year = {1977}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/Gaudel77}, cites = {0}, citedby = {0}, pages = {123-127}, booktitle = {ifip11-9}, } @inproceedings{BaskiotisSGG07, title = {A Machine Learning Approach for Statistical Software Testing}, author = {Nicolas Baskiotis and Michèle Sebag and Marie-Claude Gaudel and Sandrine-Dominique Gouraud}, year = {2007}, url = {http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-366.pdf}, tags = {machine learning, testing, systematic-approach}, researchr = {https://researchr.org/publication/BaskiotisSGG07}, cites = {0}, citedby = {0}, pages = {2274-2279}, booktitle = {IJCAI}, } @article{JamesEG99, title = {Development of an Atomic-Broadcast Protocol Using LOTOS}, author = {Perry R. James and Markus Endler and Marie-Claude Gaudel}, year = {1999}, tags = {protocol}, researchr = {https://researchr.org/publication/JamesEG99}, cites = {0}, citedby = {0}, journal = {SPE}, volume = {29}, number = {8}, pages = {699-719}, } @inproceedings{Gaudel80, title = {Specification of compilers as abstract data type representations}, author = {Marie-Claude Gaudel}, year = {1980}, tags = {data-flow, compiler}, researchr = {https://researchr.org/publication/Gaudel80}, cites = {0}, citedby = {0}, pages = {140-164}, booktitle = {CC}, } @proceedings{tapsoft:1993, title = {TAPSOFT 93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings}, year = {1993}, researchr = {https://researchr.org/publication/tapsoft%3A1993}, cites = {0}, citedby = {0}, booktitle = {TAPSOFT 93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings}, conference = {tapsoft}, editor = {Marie-Claude Gaudel and Jean-Pierre Jouannaud}, volume = {668}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-56610-4}, } @proceedings{ictac-2010, title = {Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings}, year = {2010}, doi = {10.1007/978-3-642-14808-8}, url = {http://dx.doi.org/10.1007/978-3-642-14808-8}, researchr = {https://researchr.org/publication/ictac-2010}, cites = {0}, citedby = {0}, booktitle = {Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings}, conference = {ictac}, editor = {Ana Cavalcanti and David Déharbe and Marie-Claude Gaudel and Jim Woodcock}, volume = {6255}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-14807-1}, } @proceedings{fm:1996, title = {FME 96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings}, year = {1996}, researchr = {https://researchr.org/publication/fm%3A1996}, cites = {0}, citedby = {0}, booktitle = {FME 96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings}, conference = {FM}, editor = {Marie-Claude Gaudel and Jim Woodcock}, volume = {1051}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-60973-3}, }