Luke Ong Foundations of Software Science and Computational Structures - Germany Springer 2010 ISBN: 978-3-642-12032-9 Subjects--Topical Terms: Computer ScienceFoundations of Software Science and Computational Structures