TY - JOUR AU - Sun, Ron PY - unknown TI - Q(st at):= (I — o')Q(st at) + o'(r(st+1) ER -