The kernel of a generic software development environment. - Axel van Lamsweerde; M. Buyse; Bruno Delcourt; Emmanuelle Delor; M. Ervier; Marie-Claire Schayes (SDE, 1986)