@article{UliYuen04,
author={I. Ulidowski and S. Yuen},
title={Process languages with discrete relative time based on 
	the {O}rdered {SOS} format and rooted eager bisimulation},
journal={Journal of Logic and Algebraic Programming},
volume={60-61},
pages={401--461},
year=2004}