Patrick Behm Lilian Burdy Jean-Marc Meynadier Well Defined B. 29-45 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930029.htm db/conf/b/b1998.html#BehmBM98