@article{rauzy2003mocus,
author	=	{Antoine Rauzy},
title	=	{Towards an {E}fficient {I}mplementation of {M}ocus},
journal	=	{IEEE Transactions on Reliability},
publisher	=	{IEEE Reliability Society},
volume	=	{52},
number	=	{2},
pages	=	{175--180},
year	=	{2003},
doi	=	{10.1109/TR.2003.813160},
abstractfile	=	{Rauzy2003-EfficientImplementationOfMocus.html},
psfile	=	{Rauzy2003-EfficientImplementationOfMocus.ps},
pdffile	=	{Rauzy2003-EfficientImplementationOfMocus.pdf}
}