On Specification Carrying Software‚ its Refinement and Composition - Anlauff, M; Pavlovic, D (Society for Design and Process Science, 2002)