1. L. Abraido-Fandino An Overview of REFINE 2.0 Proceedings of the Second International Symposium on Knowledge Engineering Madrid Spain 8 10 1987
2. P. Bailes M. Chapman M. Gong I. Peake GRIT-An Extended REFINE for More Executable Specifications Proceedings of the Eighth Knowledge-Based Software Engineering Conference 20 23 1993
3. Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming;Bauer;IEEE Transactions on Software Engineering,1989
4. Forward: Importance of Software Prototyping;Bernstein;Journal of Systems Integration: Special Issue on Computer Aided Prototyping,1996