Integratie van klassieke dataanalyse technieken met gedragsbeschrijvingen zoals die voorkomen in formele specificatietalen InfoJanuary 1993 to December 1994VUB OZR