Martin Abadi
Theoretical Aspects Of Computer Software
Third International Symposium, Tacs'97, Sendai, Japan, September 23 - 26, 1997, Proceedings
Editor: Martin Abadi, Series editor: G. Goos
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 1997
Paperback, 650 pages

