"SPARK An Annotated Ada Subset for Safety-Critical Programming", Tri-Ada '90.
(1990)
Languages mentioned
SPARK
{1990} Provable Ada