Craig Gaskell: A graphical based formalism for executable specification. University of Hull, Kingston upon Hull, UK 1997