@inProceedings{Turi97,
	author = {D. Turi},
	title = {Categorical modelling of structural operational
		  	rules: case studies},		  
	publisher = "Springer-Verlag",
	year = {1997},
        booktitle = {Proc.\ {7$^{\rm th}$ CTCS Conf.}},
        series = "LNCS",
        editor =  {Moggi, E. and G. Rosolini},
        volume = {1290},
        pages = {127-146},
        source = {http://www.dcs.ed.ac.uk/home/dt/},
        abstract = {This paper aims at substantiating a recently introduced
                   categorical theory of `well-behaved' operational semantics.
                   A variety of concrete examples of
                   structural operational rules is modelled categorically
                   illustrating the versatility and modularity of the theory.
                   Further, a novel functorial notion of guardedness
		   is introduced which allows for a general and formal
		   treatment of guarded recursive programs.}
}