Prof. Meinolf Sellmann

Department of Computer Science

Brown University

P.O. Box 1910

Providence, RI 02912

U.S.A.

Meinolf_Sellmann at Brown dot edu

+1-401-863-6057 (voice)

+1-401-863-7657 (fax)