@john, Biba is an 'dual' of Bell-LaPadula, Biba is about integrity, BLP is about confidentiality. They are very similar in nature, they both do the 'no write up, no read down' sort of rules.
Wikipedia says they concern themselves with 'state transition models' and while that's correct, that's not the full truth; it actually obscures the real problem with both of these models. Neither of these models concerns itself with the initial state, and for any system to be considered secure, the system must start in a secure state, and perform only allowed (secure) transitions. So the 'state transition model' might not be the best name for it, as it sounds as if it was a set of rules governing a state-diagram of security, but in fact, they don't. They are looking only at the transformations, and not at the state they're in.
But to get to the main topic, non-interference principle is the main idea behind the Goguen-Meseguer model. Biba/BLP are just other models. Information flow and state machines are just concepts used to describe various models.