Jürgen Avenhaus, Klaus Becker. Operational Specifications with Built-Ins. In Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner, editors, STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings. Volume 775 of Lecture Notes in Computer Science, pages 263-274, Springer, 1994.
@inproceedings{AvenhausB94, title = {Operational Specifications with Built-Ins}, author = {Jürgen Avenhaus and Klaus Becker}, year = {1994}, researchr = {https://researchr.org/publication/AvenhausB94}, cites = {0}, citedby = {0}, pages = {263-274}, booktitle = {STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings}, editor = {Patrice Enjalbert and Ernst W. Mayr and Klaus W. Wagner}, volume = {775}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-57785-8}, }