Real-time computer systems by A. L. Freedman · Bookplated