Springer-The Language of Design Theory and Computation Dec 2008