Logic primer - Allen, Colin; Hand, Michael (The MIT Press, 1992)