TY  - BOOK
AU  - 54
TI  - FORMAL MODELS AND PRACTICAL TOOLS FOR INFORMATION SYSTEMS DESIGN 
SN  - 0444853944
ER  -