From Kleene Algebra to Refinement Algebra (2002)

by Joakim von Wright
Citations:12 - 0 self