(1)
CCACT 2016, 6.