A. P. L.: The Language and Its Usage (Prentice-Hall series in automatic computation)