I Hayes;B Flinn
-;-
A visual requirements validation environment for the reverse engineering of formal specifications from rapid prototypes
ACM SIGSOFT Software Engineering Notes
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering