"Tests and Proofs - TAP 2011 " - читать интересную книгу автора (Martin Gogolla, Burkhart Wolff)