Shared Memory Synchronization. - Noemie Slaats; Bart Van Assche; Albert Hoogewijs (Proof in VDM, 1998)

The Non-Definedness Notion in Expert Systems. - Dirk Van Heule; Albert Hoogewijs; Noemie Slaats (Inf. Sci., 1999)