A Note on the Semantic Definition of Side Effects. - Jim Cunningham; M. E. J. Gilford (Inf. Process. Lett., 1976)