Foundations of component-based systems
edited by Gary T. Leavens, Murali Sitaraman
Cambridge University Press, 2010, c2000
First published: 2000
"First paperback edition 2010"--T.p. verso
"Paperback Re-issue"--Back cover
Includes bibliographical references