Hosted articles 2001

• I Am Come Into My Garden (2001-12-01)
• Contents: The Journal of the Sylvia Townsend Warner Society 2001 (2001-12-01)
• The Original Ending of Lolly Willowes (2001-12-01)
• Alternative Lives in Sylvia Townsend Warner’s Lolly Willowes and Arthur Machen’s “A Fragment of Life” (2001-12-01)
• The Willowes Pattern (2001-12-01)
• Some Musings on Lolly Willowes: A Personal Response to Rosemary Sykes' paper The Willowes Pattern by Ren Draya (2001-12-01)
• Rainbow (2001-12-01)
• The Short Stories (2001-12-01)
• Editorial (2001-12-01)
• John Craske, 1881-1943, Norfolk Fisherman and Artist (2001-12-01)
• VDM♣ meets LCF: Domain-Theoretic and Topological Aspects of VDM♣ (2001-07-01)
• 5th Irish Workshop on Formal Methods - Index (2001-07-01)
• Recasting Hoare and He’s Unifying Theory of Programs in the Context of General Correctness (2001-07-01)
• A Denotational Semantics for the π-Calculus (2001-07-01)
• Towards a Semantics For Multidimensional Array Assignment in Fortran 95 (2001-07-01)
• A Concurrent Language for Refinement (2001-07-01)
• Multiprogram Design in the theory of Owicki and Gries (2001-07-01)
• Observation and Abstract Behaviour in Specification and Implementation of State-based Systems (2001-07-01)
• Review: Nathalie Sigot, Bentham et l’économie: Une histoire d’utilité. Paris: Economica, 2001, 266p. (including appendices, bibliography and index.) (2001-01-01)
• Bentham’s International Manuscripts Versus the Published ‘Works’ (2001-01-01)