Stephen H. Edwards, Gregory Kulczycki Formal Foundations of Reuse and Domain Engineering - Germany Springer 2009 ISBN: 978-3-642-04211-9 Subjects--Topical Terms: Computer ScienceFormal Foundations of Reuse and Domain Engineering