Martin Hofmann Foundations of Software Science and Computational Structures - Germany Springer 2011 ISBN: 978-3-642-19805-2 Subjects--Topical Terms: Computer ScienceFoundations of Software Science and Computational Structures