期刊
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
卷 -, 期 -, 页码 -出版社
CAMBRIDGE UNIV PRESS
DOI: 10.1017/S0960129523000221
关键词
-