Oege de Moor Proc. 7th Int. Symp. Programming Languages: Implementations, Logics, and Programs (PLILP 1995), Lecture Notes in Computer Science 982, Manuel V. Hermenegildo and S. Doaitse Swierstra, ed., Springer-Verlag, 1995, pp. 1–23
Cites: