Hui Ma, Klaus-Dieter Schewe, Jane Zhao. View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement. In Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China. pages 175-184, IEEE Computer Society, 2006. [doi]
Abstract is missing.