Handbook of theoretical computer science: J. van Leeuwen, ed., Vol. A: Algorithms and Complexity, Vol. B: Formal Methods and Semantics (Elsevier, Amsterdam, 1990), 2296 pp., hardcover, Dfl. 555.00
作者：
Highlights：
•
摘要
论文关键词：
论文评审过程：Available online 22 April 2004.
论文官网地址：https://doi.org/10.1016/0933-3657(92)90044-P
