An Operational Approach To Program Design. - Paolo Rocchi; Alessandro Haag (Int. J. Comput. Syst. Signals, 2003)