Reference: B. K. Aichernig and P. G. Larsen.
A proof obligation generator for vdm-sl.
In FME '97: Proceedings of the 4th International
Symposium of Formal Methods Europe on Industrial Applications and
Strengthened Foundations of Formal Methods, pages 338-357, London, UK, UK,
1997. Springer-Verlag.
www-data,
2020-09-10