Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami. On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/. In Ikuo Nakata, Masami Hagiya, editors, Software Science and Engineering: Selected Papers from the Kyoto Symposia. Volume 31 of World Scientific Series in Computer Science, pages 60-77, World Scientific, 1991. [doi]
@incollection{SekiTK91, title = {On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/}, author = {Hiroyuki Seki and Kenichi Taniguchi and Tadao Kasami}, year = {1991}, doi = {10.1142/9789814360128_0004}, url = {https://doi.org/10.1142/9789814360128_0004}, researchr = {https://researchr.org/publication/SekiTK91}, cites = {0}, citedby = {0}, pages = {60-77}, booktitle = {Software Science and Engineering: Selected Papers from the Kyoto Symposia}, editor = {Ikuo Nakata and Masami Hagiya}, volume = {31}, series = {World Scientific Series in Computer Science}, publisher = {World Scientific}, isbn = {978-981-02-0776-2}, }