Programming in equational logic: Beyond strong sequentiality (1993)

by R C Sekar, I V Ramakrishnan
Venue:Information and Computation