Book

Applied formal methods--FM-Trends 98

by Dieter Hutter, Gerhard Goos