Formal Software Development. From VDM to Java
Provocation-to-Jealousy.
BlackBerry_ID-User_Guide
Data Security & Protection