Enforcing System-Wide Properties.

Published in: Australian Software Engineering Conference (2004)