Scott Aaronson basically invented this form of watermarking, so it's not surprising he has a good description of it.