"Formal Aspects of VLSI Design" - читать интересную книгу автора (G. Milne)