Text this: On portability of abstract programming systems /