"Hardware Specification, Verification and Synthesis: Mathematical Aspects - Workshop Proceedings" - читать интересную книгу автора (Miriam Leeser, Geoffrey Brown)