Yexuan Gui, Mitsuhiro Okada. LAMBDALG: Higher Order Algebraic Specification Language. In Claude Kirchner, editor, Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings. Volume 690 of Lecture Notes in Computer Science, pages 462-466, Springer, 1993.
@inproceedings{GuiO93:0, title = {LAMBDALG: Higher Order Algebraic Specification Language}, author = {Yexuan Gui and Mitsuhiro Okada}, year = {1993}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/GuiO93%3A0}, cites = {0}, citedby = {0}, pages = {462-466}, booktitle = {Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings}, editor = {Claude Kirchner}, volume = {690}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-56868-9}, }