Towards a Calculus of State-based Software Components (2003)

by L S Barbosa
Venue:Journal of Universal Computer Science