Articles of journal: *Theory of computing systems