Carsten Sühl. An Overview of the Integrated Formalism RT-Z. Formal Asp. Comput., 13(2):94-110, 2002. [doi]
@article{Suhl02:0, title = {An Overview of the Integrated Formalism RT-Z}, author = {Carsten Sühl}, year = {2002}, url = {http://link.springer.de/link/service/journals/00165/bibs/2013002/20130094.htm}, researchr = {https://researchr.org/publication/Suhl02%3A0}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {13}, number = {2}, pages = {94-110}, }