Comparing the MVC and PAC architectures: a formal perspective

Andrew Hussey, David A. Carrington. Comparing the MVC and PAC architectures: a formal perspective. IEE Proceedings - Software, 144(4):224-236, 1997.