stds-compsci-7.pdf