A. Bucci, Paola Inverardi, Simone Martini. An Executable Impredicative Semantics for the Ada Configuration. Formal Asp. Comput., 5(2):91-120, 1993.
@article{BucciIM93,
title = {An Executable Impredicative Semantics for the Ada Configuration},
author = {A. Bucci and Paola Inverardi and Simone Martini},
year = {1993},
tags = {semantics},
researchr = {https://researchr.org/publication/BucciIM93},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {5},
number = {2},
pages = {91-120},
}