Introduction to logic for systems modelling - Pinkava, Václav (Abacus Press, 1988)