"Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences (Nato Science)" - читать интересную книгу автора (K. Spies, H. Schwichtenberg)