queue-spec-weak.tex 10.1 KB