Book

A formal theory of indexical knowledge and action

by Yves Lesperance