@article{oai:soar-ir.repo.nii.ac.jp:00018423,
 author = {Yamazaki, Hiroshi and Czesław, Byliński and Wasaki, Katsumi},
 issue = {1},
 journal = {Formalized Mathematics},
 month = {Jan},
 note = {Article, Formalized Mathematics. 20(1): 61-63 (2012)},
 pages = {61--63},
 title = {Morphology for Image Processing, Part I},
 volume = {20},
 year = {2012}
}