A Simplified Z Semantics for Presentation Interaction Models.

Judy Bowen, Steve Reeves

Browse the full FM paper archive.