文档介绍：Monographs in puter Science
An EATCS Series
Editors: J. Hromkovič G. Rozenberg A. Salomaa
Founding Editors: W. Brauer G. Rozenberg A. Salomaa
On behalf of the European Association
for puter Science (EATCS)
Advisory Board:
G. Ausiello M. Broy . Calude A. Condon
D. Harel J. Hartmanis T. Henzinger T. Leighton
M. Nivat C. Papadimitriou D. Scott
For further volumes:
ies/776
Donald Sannella • Andrzej Tarlecki
Foundations of Algebraic
Specification and Formal
Software Development
Prof. Donald Sannella Prof. Andrzej Tarlecki
The University of Edinburgh Institute of Informatics
School of Informatics Faculty of Mathematics,
Informatics Forum Informatics and Mechanics
10 Crichton St. University of Warsaw
Edinburgh, EH8 9AB ul. Banacha 2
United Kingdom 02-097 Warsaw, Poland
and
Institute puter Science
Polish Academy of Sciences
ul. Ordona 21
01-237 Warsaw, Poland
Series Editors
Prof. Dr. Juraj Hromkoviþ Prof. Dr. Grzegorz Rozenberg
ETH Zentrum Leiden Institute of Advanced
Department puter puter Science
Swiss Federal Institute of Technology University of Leiden
8092 Zürich, Switzerland Niels Bohrweg 1
2333 CA Leiden, herlands
Prof. Dr. Arto Salomaa
Turku Centre puter Science
Lemminkäisenkatu 14 A
20520 Turku, Finland
ISSN 1431-2654
ISBN 978-3-642-17335-6 e-ISBN 978-3-642-17336-3
DOI -3-642-17336-3
Springer Heidelberg Dordrecht London New York
Library of Congress Control Number: 2011941495
ACM Codes: ,
© S pringer-Verlag Berlin Heidelberg 2012
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is
concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting,
reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or
parts thereof is permitted only under the provisions of the German Copyr