Peter-Henry Mander writes: > desires to see the formal definition of OO to enable comparison > with the formal definition of any FP language. Such definition > _does_not_exist_ for OO Depends a bit on what you mean by "formal". One standard text on the subject is http://www.luca.demon.co.uk/TheoryOfObjects.html Matthias