Brief on order-reduction for models: a critical survey. - Anh, Nguyễn Thụy; San, Nguyễn Ngọc (Journal of Computer Science and Cybernetics, 2013)
-