Introduction to logic for systems modelling - Pinkava, Václav (Information technology and systems series., 1988)