成都信息工程大学学报
过刊查询页面
关键词中包括
two-level split abstraction
的文章