Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems

Julia Padberg. Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. Applied Categorical Structures, 7(4):371-403, 1999. [doi]

@article{Padberg99,
  title = {Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems},
  author = {Julia Padberg},
  year = {1999},
  doi = {10.1023/A:1008695316594},
  url = {http://dx.doi.org/10.1023/A:1008695316594},
  tags = {refinement, systematic-approach},
  researchr = {https://researchr.org/publication/Padberg99},
  cites = {0},
  citedby = {0},
  journal = {Applied Categorical Structures},
  volume = {7},
  number = {4},
  pages = {371-403},
}