Simply Observable Behavioral Specification.

Michihiro Matsumoto, Kokichi Futatsugi

Browse the full APSEC paper archive.