MIKLOS K LAKATOS