Oliver, Martin and O'Shea, Tim and Fung, Pat (1997) Three representations of Modal Logic: a comparative experiment. Machine Graphics & Vision, 6 (1). pp. 109-128. ISSN 12300535
