Futatsugi Kokichi "Structuring and Derivation in Algebraic Specification/Programming Language Systems" Journal of Information Processing Vol.14 No.02
(1989)
Languages mentioned
HISP
{1988} Algebraic Specifcation language
OBJ2
{1984}