ISBN 3540544151 books & textbook
Theoretical Aspects of Computer Software: International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings (Lecture Notes in Computer Science, 526)
Ito, Takayasu Meyer, Albert R.
Springer /1991-08-28 Paperback / 786 Pages
isbn-10: 3540544151 / isbn-13: 9783540544159