View Updatability Based on the Models of a Formal Specification.

Michael Johnson, Robert D. Rosebrugh

Browse the full FM paper archive.