S: A machine readable specification notation based on higher order logic (1994)

by J Joyce, N Day, M Donat
Venue:in 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications