If they have not done a) or b) then I guess he cannot request b) because they have not done the written offer, at which point it is up to the copyright owner to require that they do a) or b) or what?
Provide damages of some sort, stop distributing program?
Provide damages of some sort, stop distributing program?