Foundations of software science and computation structures / - 1st International Co - Berlin: Springer, 1998. - x,287p;26cm - Lecture notes in computer science,No-1378 . Includes bibliographical references. ISBN: 3540643001 Dewey Class. No.: 005.1 NIV