مرور بر اساس تاریخ انتشار Computation by Abstract Devices ;