"Programming from First Principles (Prentice-Hall International series in computer science)" - читать интересную книгу автора (Richard Bornat)