Разработка и проектирование программ. CASE-технологии

Program Development by Refinement: Case Studies Using the B Method (Formal Approaches to Computing and Information Technology)