Preliminary Report on the Specification and Programming Language Abel

[1]  Ole-Johan Dahl,et al.  Time Swquences as a Tool for Describing Program Behaviour , 1979, Abstract Software Specifications.