How many papers are published under the conference "Mathematics of Program Construction
"?
'Mathematics of Program Construction' is the FullName of conference
SELECT COUNT(T1.Id) FROM Paper AS T1 INNER JOIN Conference AS T2 ON T1.ConferenceId = T2.Id WHERE T2.FullName = 'Mathematics of Program Construction'