Wolfgang Schönfeld, Werner Stephan. Integration of Descriptive and Procedural Language Constructs. In Egon Börger, Hans Kleine Büning, Michael M. Richter, editors, CSL 88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings. Volume 385 of Lecture Notes in Computer Science, pages 344-356, Springer, 1988.
No references recorded for this publication.
No citations of this publication recorded.