1
by Greibach, Sheila A.
Published 1975
Springer Berlin Heidelberg
Subjects: ...Logics and Meanings of Programs...