Formalized Mathematics (Open Access Journal)(reference-global.com)