Spencer Shu-tsu Cheng

Prolog implementation of a graphic tool for generation of Ada language specifications