Yep, I have copies of them here. They are published by BSI. They're the "British" / "English" version of 9001 or whatever. They're valid, just some of the spelling is different than what you'de have in one printed by ASQ or someone else (programme vs. program).