Exact and approximate controllability for distributed parameter systems (New York: Cambridge University Press, 2008)