Jonatan Wiik, Pontus Boström: Contract-based verification of MATLAB-style matrix programs. Formal Aspects Comput. 28(1): 79-107 (2016)