@收款{zbMATH01231607，作者={Winskel，Glynn}，标题={从开放地图对互模拟的操作理解}，BookTitle={HOOTS II.语义学高级操作技术第二次研讨会，斯坦福大学，加利福尼亚州帕洛阿尔托，美国，1997年12月8日至12日}，页数={电子纸5}，年份={1997}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，关键词={68Q55}，URL={www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt？jrnl=tcs&sctn=entcs&mode=sub&vol=10#10005}，zbMATH={1231607}，Zbl={0925.68290}}