Gary T. Leavens
        210 Harris Center (Bldg. 116)
        School of EECS, University of Central Florida
        4000 Central Florida Blvd., Orlando, FL 32816-2362 USA
        http://www.eecs.ucf.edu/~leavens  phone: +1-407-823-4758
        leavens@eecs.ucf.edu