Springer-Verlag New York Software Specification Methods