64 (1984) Silvester, Peter P.: The Unix System Guidebook An Introductory Guide for Serious Users 9751 (1984) Banahan, M.; Rutter, A.: UNIX Lernen, verstehen, anwenden 22 (1984) Loeckx, Jacques; Sieber, Kurt: The Foundations of Program Verification 61 (1982) Naylor, Arch W.; Sell, George R.: Linear Operator Theory in Engineering and Science 59 (1982) Brown, Kenneth S.: Cohomology of Groups 17 (1982) Kulisch, U.; Ullrich, Ch.: Wissenschaftliches Rechnen und Programmiersprachen 21 (1978) Richter, M. M.: Logikkalkuele 18 (1978) Paul, W. J.: Komplexitaetstheorie 20 (1974) Schnorr, C. P.: Rekursive Funktionen und ihre Komplexitaet 19 (1979) Berstel, J.: Transductions and Context-Free Languages Done.