Semantics with Applications: An Appetizer Semantics with Applications: An Appetizer
2007
Trustworthy Global Computing Trustworthy Global Computing
2009