Pedro Sánchez, Patricio Letelier, Isidro Ramos. Animating Formal Specifications with Inheritance in a DL-Based Framework. Requir. Eng., 4(4):198-209, 1999. [doi]
@article{SanchezLR99,
title = {Animating Formal Specifications with Inheritance in a DL-Based Framework},
author = {Pedro Sánchez and Patricio Letelier and Isidro Ramos},
year = {1999},
url = {http://link.springer.de/link/service/journals/00766/bibs/9004004/90040198.htm},
tags = {rule-based},
researchr = {https://researchr.org/publication/SanchezLR99},
cites = {0},
citedby = {0},
journal = {Requir. Eng.},
volume = {4},
number = {4},
pages = {198-209},
}