Formal techniques for object oriented software development

TL;DR: A photoconductive member comprises a support for photoconductives member, an interface layer comprising an amorphous material represented by any of the formulas, and anAmorphous layer exhibiting photoconductivity comprising at least one of hydrogen atoms and halogen atoms as constituent atoms in a matrix of silicon atoms.

Abstract: A photoconductive member comprises a support for photoconductive member, an interface layer comprising an amorphous material represented by any of the formulas: SiaN1-a (0.57<a<1) (1) (SibN1-b)cH1-c (0.6<b<1, 0.65</=c<1) (2) (SidN1-d)e(X, H)1-e (0.6<d<1, 0.8</=e<1) (3) (wherein X represents a halogen atom), a rectifying layer comprising an amorphous material containing atoms (A) belonging to the group III or the group V of the periodic table as constituent atoms in a matrix of silicon atoms, and an amorphous layer exhibiting photoconductivity comprising an amorphous material containing at least one of hydrogen atoms and halogen atoms as constituent atoms in a matrix of silicon atoms.