Ref the specs from C#