Programs as binary multirelations

Ingrid Rewitzky. Programs as binary multirelations. In Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia. pages 257-272, 1997.

Abstract

Abstract is missing.