Where to find “block-finalisation state transition function” in go-ethereum source code

I am going through the yollow paper. In Page 2, under 2. The Blockchain Paradigm there are 4 equations.
I could find the first one (Ethereum state transition function) in the go-ethereum source code https://github.com/ethereum/go-ethereum/blob/master/core/state_transition.go
However, I am struggling to find where are the other 3 equations are implemented in the source code. Can you please guide me to them?
submitted by /u/kingindanord
[link] [comments]