Abstract interpretation of multiple views in software design

Access the content here.