Behavior Models for Computer Programs by Zhang Chengliang