Bram van der Vos Jon Atle Gulla Reind P. van de Riet Verification of Conceptual Models based on Linguistic Knowledge. 0- 1995 NLDB db/conf/nldb/nldb95.html#VosGR95