I just discovered the Lost Garden site, via this article on a notation for describing game play. Worth adding to your blog roll; worth asking if there's a similar notation waiting to be invented to describe user interactions with standard desktop GUIs.