mathematical logic and programming languages - "hoare, c a. " (usa : prentice/hall, 1985)