Object behaviors are normally represented by state transition diagrams. 1,11 To construct a state transition diagram, object states and state transitions should be identified. ... P. "Functional ...

Here are some related statements on that issue, culled from the report (noting that the researchers lumped object-oriented languages among procedural languages): It does appear that disallowing type ...