"Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science (No. 31))" - читать интересную книгу автора (T. F. Melham)