Computational Models of Certain Hyperspaces of Quasi-metric Spaces - Mahdi Aliakbari; Massoud Pourmahdian (Log. Methods Comput. Sci., 2011)