1
by Bjørner, Dines
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: '; ...Computation by Abstract Devices...