Finished up draft of bisim.md
Published bisim.md