Christoph Beierle, Egon Börger. Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. Formal Asp. Comput., 8(4):428-462, 1996.
@article{BeierleB96, title = {Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints}, author = {Christoph Beierle and Egon Börger}, year = {1996}, tags = {constraints}, researchr = {https://researchr.org/publication/BeierleB96}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {8}, number = {4}, pages = {428-462}, }