John A. van der Poll Paula Kotzé Reasoning about the Properties of an Enterprise Information System. 10-19 2004 conf/vveis/2004 VVEIS db/conf/vveis/vveis2004.html#PollK04