想要将我的文献纳入投影仪框架中但它会引起奇怪的问题。
它将第二项和第三项列为(Dij59a 和 Dij59b)
@article{Bac54,
author={Backus, John W.},
title={The IBM 701 Speedcoding System},
booktitle={Proceedings of the 17th Annual ACM-SIAM Symposium on Discrete Algorithms},
number= {1},
year={1954},
volume ={1},
pages={4--6}
}
@phdthesis{Dij59,
author= {Dijkstra, Edsger W.},
title = {Communication with an Automatic Computer},
school = {University of Amsterdam},
type = {Diss.},
year = {1959}
}
@unpublished{Dij62,
author= {Dijkstra, Edsger W.},
title = {Substitution processes},
month = {Januar},
year = {1959},
note = {privat verbreitet}
}
@article{Dij68,
author= {Dijkstra, Edsger W.},
title = {Cooperating sequential processes},
booktitle={Genuys, F. (Hrsg.): Programming Languages: NATO Advanced Study Institute},
school = {University of Amsterdam},
type = {Academic Press},
year = {1968},
pages={43--112}
}
@book{KR78,
author= {Kernighan, Brian W. ; Ritchie, Dennis.},
title = {Communication with an Automatic Computer},
school = {University of Amsterdam},
type = {Diss.},
publisher= {Prentice-Hall},
year = {1978}
}
@inproceedings{Pnu77,
author= {Pnueli, Amir},
title = {The Temporal Logic of Programs},
booktitle= {18th Annual Symposium on Foundations of Computer Science},
school = {University of Amsterdam},
organization = {IEEE Computer Society},
year = {1977},
pages = {46--57}
}
乳胶线:
Edsger Dijkstra war ein niederländischer Informatiker, der in seiner
Dissertation \cite{Dij59} eine Programmiersprache für die Electrologica X1
entwickelte. Die X1 war ein Digital-Computer, der in den 1950er Jahren
in den Niederlanden produziert wurde. Neben seiner Dissertation sei hier
noch auf ein nicht veröffentlichtes Paper \cite{Dij62} und ein Beitrag in einem
Sammelband \cite{Dij68} verwiesen.
Amir Pnueli war ein israelischer Informatiker, der wegweisende
Verdienste um die Einführung der temporalen Logik \cite{Pnu77} in die Informatik
geleistet hat.
Der IBM 701 war der erste für wissenschaftliche Zwecke bestimmte Rechner
von IBM. Sein Speedcoding System wird von John Backus im Journal-Artikel \cite{Bac54}
beschrieben. The C Programming Language \cite{Kr78} ist das erste Buch über die
Programmiersprache C.