Logic of machines and structures - Sandori, Paul (A Wiley-Interscience publication, 1982)