Logic of computation - Schwichtenberg, Helmut (NATO advanced study institutes series. Series F, Computer and systems sciences ;, 1997)