conf/ismvl/X00a,
Message from the Co-Chairs., ISMVL, 2000, http://dblp.uni-trier.de/db/conf/ismvl/ismvl2000.html#X00a, http://computer.org/proceedings/ismvl/0692/0692xiii.pdf
conf/ismvl/X00,
Message from the Symposium Chair., ISMVL, 2000, http://dblp.uni-trier.de/db/conf/ismvl/ismvl2000.html#X00, http://computer.org/proceedings/ismvl/0692/0692xii.pdf
conf/gait/X99,
Software System Verification and Program Derivation., German-Argentinian Workshop on Information Technology, 31-38, 1999, http://dblp.uni-trier.de/db/conf/gait/gait1999.html#X99
conf/ca/X99b,
Program Committee., CA, 1999, http://dblp.uni-trier.de/db/conf/ca/ca1999.html#X99b, http://dlib.computer.org/conferen/ca/0167/pdf/0167xi.pdf