Lattice Theory for Rough Sets - A Case Study with Mizar. - Grabowski, Adam (Fundamenta Informaticae, 2016)