Title: On portability of abstract programming systems