This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformula...