FORMAL SHIRTS FROM MONTECORE