Should Your Specification Language Be Typed? (1999)

by Leslie Lamport , Lawrence C. Paulson
Citations:46 - 1 self