A formal model of distributed Ada tasking. - Geert B. Clemmensen (AdaTEC Conference on Ada, 1982)

Formal Specification and Development of an Ada Compiler - A VDM Case Study. - Geert B. Clemmensen; Ole N. Oest (ICSE, 1984)