1
by Guttag, John V., Horning, James J.
Published 1993
Springer New York
...Monographs in Computer Science...