Computer logic - 395052 Rose, Alan (London : Wiley-Interscience, 1971)
57