@InProceedings{Coh00, Author = "Cohen, E.", Year = "2000", Title = "{Separation and Reduction}", Editor = "Backhouse, R. and Oliveira, J.", BookTitle = "{Proceedings of the 5th International Conference on the Mathematics of Program Construction}", Place = "Ponte de Lima, Portugal", Series = "Lecture Notes in Computer Science", Number = "1837", Pages = "45-59", Comment = "TPTPRef" }