Ingrid Rewitzky: Programs as binary multirelations. RelMiCS 1997: 257-272