Executing Formal Specifications with Concurrent Constraint Programming
Specifying and Automatically Generating a Specialization Tool for Fortran 90
Desert Island Column