萨沃米尔·拉索塔 正则代数的行为构造函数实现。 （英语） Zbl 0988.68110号 Parigot，Michel（编辑）等人，《编程逻辑和自动推理》。2000年11月6日至10日，第七届国际会议，LPAR2000，法国留尼旺岛。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1955, 54-69 (2000).MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.Lasota}，莱克特。注释计算。科学。1955年，54-69（2000年；Zbl 0988.68110）
萨沃米尔·拉索塔 开放地图是代数观测等价性和双相似性之间的桥梁。 （英语） Zbl 0903.08008号 Parisi Presicce，Francesco（编辑），代数开发技术的最新趋势。1997年6月3日至7日，第12届国际研讨会，WADT’97，意大利塔基尼亚。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1376, 285-299 (1998).MSC公司：08A70号 2010年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{S.Lasota}，莱克特。注释计算。科学。1376285-299（1998年；Zbl 0903.08008）