et a!. Principles of OBJ2 (0)

by K Futatsugi
Venue:In Proceedings, Symposium on Principles of Programming Languages