About specification
About software specification
About transition system
About formal specification description
About description
About formal description
About algebraic specification
About Vienna development method
About type system
About ALGOL listings