Designing Correct Circuits - häftad, Engelska, 1991