A state-based visual language for a demonstrational visual shell | IEEE Conference Publication | IEEE Xplore