• 题名: Logic, Automata, and Algorithms
    作者: Mark A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova, Aleksey A. Tal'
    索书号: http://www.sciencedirect.com/science/book/9780120463503
在架