This is what google scholar gives. It seems correct to me:
@inproceedings{coquand1992pattern,
  title={Pattern matching with dependent types},
  author={Coquand, Thierry},
  booktitle={Proceedings of the Workshop on Types for Proofs and Programs},
  pages={71--83},
  year={1992}
}