"ANNA - A Language for Annotating Ada Programs: Reference manual" - читать интересную книгу автора