Hans-Jörg Kreowski
Partial Algebras Flow From Algebraic Specifications
ICALP, 1987.
@inproceedings{ICALP-1987-Kreowski, author = "Hans-Jörg Kreowski", booktitle = "{Proceedings of the 14th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-18088-5_45", isbn = "3-540-18088-5", pages = "521--530", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Partial Algebras Flow From Algebraic Specifications}", volume = 267, year = 1987, }