Includes index.
Theoretical aspects of computer software : Third International Symposium, TACS'97, Sendai, Japan, September 23-26, 1997 proceedings. ISBN 354063388X. Published by Springer in 1997. Publication and catalogue information, links to buy online and reader comments.