1977
3 references published this year.
A Survey of Modern Algebra
Garrett Birkhoff et al. (1977)
Hardware description languages: voices from the Tower of Babel
G. Jack Lipovski (1977) · Computer
The temporal logic of programs
Amir Pnueli (1977) · 18th Annual Symposium on Foundations of Computer Science (sfcs 1977)