add micro-spec paper by zhang from cgo