Andrzej Blikle, Andrzej Tarlecki, Mikkel Thorup. On Conservative Extensions of Syntax in System Development. Theoretical Computer Science, 90(1):209-233, 1991.
@article{BlikleTT91,
title = {On Conservative Extensions of Syntax in System Development},
author = {Andrzej Blikle and Andrzej Tarlecki and Mikkel Thorup},
year = {1991},
researchr = {https://researchr.org/publication/BlikleTT91},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {90},
number = {1},
pages = {209-233},
}