Alexander B. Romanovsky: Abstract Object State and Version Recovery in N-Version Programming. TOOLS (29) 1999: 86-95