Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools. - Dines Bjørner; S. Koussoube; R. Noussi; G. Satchok (ICFEM, 1997)