Kokichi Futatsugi, and Razvan Diaconescu. Component-based algebraic specification: - behavioural specification for component-based software engineering (1999)

by Shusaku Iida
Venue:In Behavioral specifications of businesses and systems