Till Mossakowski, Donald Sannella, Andrzej Tarlecki. A Simple Refinement Language for Casl. In José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas, editors, Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers. Volume 3423 of Lecture Notes in Computer Science, pages 162-185, Springer, 2004. [doi]
Abstract is missing.