Writing Concurrent Java Programs Based on CafeOBJ Specifications - Ha, Xuan-Linh; Ogata, Kazuhiro (2017 24th Asia-Pacific Software Engineering Conference (APSEC), Asia-Pacific Software Engineering Conference (APSEC), 2017 24th, APSEC, 2017)