Parts of this text were used for several years by students in a one~term under graduate course in computer science. …
