Michael Fisher

Practical Formal Methods Using Temporal Logic

Visions of Mughal India

The Nightmare Man

Cries from the Darkness

Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993

For the Time Being

A Short History of the Mughal Empire

A Short History Of The Mughal Empire

Computational Logic In Multiagent Systems 13th International Workshop Proceedings

Pugin-land

Alton Towers

A Word in Time

A Vision of Splendour

The Nightmare Man

Herod's Pigs