Control theory for distributed parameter systems and applications (Springer, 1983)