@article{oai:soar-ir.repo.nii.ac.jp:00018405,
 author = {Futa, Yuichi and Okazaki, Hiroyuki and Shidama, Yasunari},
 issue = {3},
 journal = {Formalized Mathematics},
 month = {Sep},
 note = {Article, Formalized Mathematics. 20(3): 205-214 (2012)},
 pages = {205--214},
 title = {Quotient Module of Z-module},
 volume = {20},
 year = {2012}
}