-G. Gopalakrishnan/P. Windley (Eds.): Formal Methods in Computer-Aided Design. Proceedings, Springer-Verlag 1998