Kluwer international series in engineering and computer science: SECS (Springer, 1984)