Gwendolyn H. Walton Developing and Verifying Rigorous Specifications with Viewpoints, Use Cases, and Sequence-based Specification Methods. 2000 HICSS http://computer.org/proceedings/hicss/0493/04934/04934004abs.htm db/conf/hicss/hicss2000-4.html#Walton00