Trinh, Thanh Binh and Truong, Ninh Thuan and Nguyen, Viet Ha  (2011) Refining Undetermined Events for Specifying Concurrent Programs.  In: KSE: the 2011 International Conference on Knowledge and Systems Engineering, October 2011, Vietnam.