-H. Ehrig/C. Floyd/M. Nivat/J. Thatcher (Eds.): Formal Methods and Software Development, Proceedings 1985, Volume 2: Colloquium on Software Engineering (CSE), Springer-Verlag 1985