A look at algebraic specifications: Stephen N. Zilles, Peter Lucas and James W. Thatcher: Computer Science Dept. IBM Research Laboratory, San Jose, (Aug. 1982)

作者：

Highlights：

•

摘要

论文关键词：

论文评审过程：Available online 19 May 2003.

论文官网地址：https://doi.org/10.1016/0167-9236(85)90118-6