@第{zbMATH02172804条，作者={Merz，Stephan}，标题={在{{\（\text{TLA}^+\）}}}的逻辑上，FJournal={计算与信息学}，日志={Compute.Inform.}，ISSN={1335-9150}，体积={22}，数字={3-4}，页码={351--379}，年份={2003}，语言={英语}，关键词={68N15}，zbMATH={2172804}，Zbl={1104.68364}}