Sciweavers

FMSP
1998
ACM
14 years 6 months ago
Designing executable abstractions
Gerard J. Holzmann