Software Process la Algebra: OBJ for OBJ.

Ataru T. Nakagawa, Kokichi Futatsugi

Browse the full ICSE paper archive.