Yamine Aït Ameur. Formal Program Developments Directed by Operational Properties Evaluation. In SEKE 92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy. pages 1-8, Knowledge Systems Institute, 1992. [doi]