@杂项{zbMATH04092760，作者={Kaplan，St{\ee}phane}，标题={正/负条件代数规范的代数和操作语义}，年份={1988年}，语言={英语}，HowPublished={软件技术和理论计算机科学基础，{Proc}。第八个{Conf}。，{普纳}/{印度}1988，{列克图}。{注释}{计算}。{科学}。338, 419-434 (1988).},关键词={68Q65，68Q55，68P05}，zbMATH={4092760}，Zbl={0667.68045}}