Calculational semantics
Article in ACM Transactions on Programming Languages and Systems (July 2006)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in ACM Transactions on Programming Languages and Systems (July 2006)