1
by Ehrig, Hartmut
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: ...Logics and Meanings of Programs...