马提亚斯·费莱森 菲利普·加德纳 编程语言与系统——第22届欧洲编程研讨会，2013年ESOP，作为欧洲软件理论与实践联合会议的一部分，2013年ETAPS，2013年3月16日至24日，意大利罗马。诉讼 2013 施普林格 计算机科学课堂讲稿 7792 https://doi.org/10.1007/978-3-642-37036-6 978-3-642-37035-9 员工持股计划 db/conf/esop/esop2013.html