Book

A logical specification of federated information systems

by Magnus Boman