Science of Computer Programming, Volume 25

Volume 25, Number 1, October 1995

Volume 25, Numbers 2-3, December 1995

Selected Papers of ESOP 1994