Component-Based Algebraic Specification.

Fri, 01 Jan 1999 00:00:00 +0100

Shusaku Iida, Kokichi Futatsugi, Razvan Diaconescu:
Component-Based Algebraic Specification. Behavioral Specifications of Businesses and Systems 1999: 105-121