Birkhauser Boston, Inc. Logic for Computer Scientists