Using Lava to design and verify recursive and periodic sorters.

Koen Claessen Mary Sheeran Satnam Singh Using Lava to design and verify recursive and periodic sorters. 349-358 2003 4 STTT 3 http://dx.doi.org/10.1007/s10009-002-0089-y db/journals/sttt/sttt4.html#ClaessenSS03