The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress Book chapter (January 2002)